Notes on Formal Theories of Truth
From MaRDI portal
Publication:3809794
DOI10.1002/malq.19890350202zbMath0661.03043MaRDI QIDQ3809794
Publication date: 1989
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19890350202
fixed points; proof theory; semantics; four-valued logic; recursion theory; connections with standard subsystems of analysis; formal systems related to Kripke's theory of truth; iteration of the jump operator; theories of truth with restricted number-theoretic induction
03F30: First-order arithmetic and fragments
03B30: Foundations of classical theories (including reverse mathematics)
03B50: Many-valued logic
Related Items
Disquotational truth and analyticity, The axiom of choice and combinatory logic, TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY, AXIOMATIZING SEMANTIC THEORIES OF TRUTH?, THE EXPRESSIVE POWER OF TRUTH, EQUIVALENCES FOR TRUTH PREDICATES, Axiomatizing Kripke's theory of truth, Some theories with positive induction of ordinal strength φω0, MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH, MINIMAL TRUTH AND INTERPRETABILITY, A note on typed truth and consistency assertions, A proof-theoretic account of classical principles of truth, Classes and truths in set theory, A disquotational theory of truth as strong as \(Z_2^-\), Deflationary truth and the ontology of expressions, Some notes on truths and comprehension, Truth, partial logic and infinitary proof systems, Provably true sentences across axiomatizations of Kripke's theory of truth, On the costs of nonclassical logic, Universes over Frege structures, Levels of truth, MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN, TRUTH AND SPEED-UP, Extending the first-order theory of combinators with self-referential truth, Relative Truth Definability of Axiomatic Truth Theories, Autonomous progression and transfinite iteration of self-applicable truth, AXIOMS FOR DETERMINATENESS AND TRUTH