Provability Logic and Admissible Rules

Authors	R. Iemhoff
Supervisors	A.S. Troelstra
Award date	15-05-2001
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 Part I Intuitionistic Provability Logic Chapter 2 Concepts Chapter 3 Tools and preliminaries Chapter 4 The principles Chapter 5 Completeness Part II Intuitionistic Propositional Logic Chapter 6 Concepts Chapter 7 The admissible rules of IPC Chapter 8 A characterization of IPC Bibliography Index List of symbols Samenvatting Cover
Permalink to this page

Back

UvA-DARE