Book contents
- Frontmatter
- Contents
- Preface
- Part I Foundations
- Part II Typed truth
- Part III Type-free truth
- 10 Typed and type-free theories of truth
- 11 Reasons against typing
- 12 Axioms and rules
- 13 Axioms for type-free truth
- 14 Classical symmetric truth
- 15 Kripke–Feferman
- 16 Axiomatizing Kripke's theory in partial logic
- 17 Grounded truth
- 18 Alternative evaluation schemata
- 19 Disquotation
- Part IV Ways to the truth
- Index of systems
- Bibliography
- Index
16 - Axiomatizing Kripke's theory in partial logic
from Part III - Type-free truth
Published online by Cambridge University Press: 05 February 2015
- Frontmatter
- Contents
- Preface
- Part I Foundations
- Part II Typed truth
- Part III Type-free truth
- 10 Typed and type-free theories of truth
- 11 Reasons against typing
- 12 Axioms and rules
- 13 Axioms for type-free truth
- 14 Classical symmetric truth
- 15 Kripke–Feferman
- 16 Axiomatizing Kripke's theory in partial logic
- 17 Grounded truth
- 18 Alternative evaluation schemata
- 19 Disquotation
- Part IV Ways to the truth
- Index of systems
- Bibliography
- Index
Summary

- Type
- Chapter
- Information
- Axiomatic Theories of Truth , pp. 214 - 242Publisher: Cambridge University PressPrint publication year: 2014