Notes on Formal Theories of Truth

DOI10.1002/malq.19890350202zbMath0661.03043MaRDI QIDQ3809794

Andrea Cantini

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, TRUTH AND FEASIBLE REDUCIBILITY, Feferman and the Truth, 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, Guest editors' introduction, MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH, MINIMAL TRUTH AND INTERPRETABILITY, , , AND REINHARDT’S PROGRAM, NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE, Internal categoricity, truth and determinacy, CLASSICAL DETERMINATE TRUTH I, 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, Truth and the philosophy of mathematics, Reflecting and unfolding, On cut-elimination arguments for axiomatic theories of truth, Notes on models of (partial) Kripke-Feferman 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, More on Systems of Truth and Predicative Comprehension, AXIOMS FOR DETERMINATENESS AND TRUTH