Logic and Provability

Authors	K. Sasaki
Supervisors	A.S. Troelstra
Award date	11-09-2001
ISBN	905776069X 9789057760693
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	Research conducted at: ILLC
Language	English
Downloads	Thesis Cover Titlepage Contents Acknowledgments Chapter 1 Introduction Chapter 2 Cut-elimination theorems for Visser's propositional logic and formal propositional logic Chapter 3 Formalizations for the consequence relation of Visser's propositional logic Chapter 4 Löb's axiom in propositional logics Chapter 5 Disjunction free formulas in propositional lax logic Chapter 6 Interpretability logics Index List of symbols Abstract Samenvatting Bibliography Titles in the ILLC Dissertation Series Cover
Permalink to this page

Back

UvA-DARE