Notes on Formal Theories of Truth

DOI10.1002/malq.19890350202zbMath0661.03043OpenAlexW2025127850MaRDI 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 pointsproof theorysemanticsfour-valued logicrecursion theoryconnections with standard subsystems of analysisformal systems related to Kripke's theory of truthiteration of the jump operatortheories of truth with restricted number-theoretic induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Many-valued logic (03B50)

Related Items (41)

, , AND REINHARDT’S PROGRAM ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ Autonomous progression and transfinite iteration of self-applicable truth ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ Levels of truth ⋮ Truth, partial logic and infinitary proof systems ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN ⋮ TRUTH AND SPEED-UP ⋮ A proof-theoretic account of classical principles of truth ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Internal categoricity, truth and determinacy ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ Disquotational truth and analyticity ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ Classes and truths in set theory ⋮ Some theories with positive induction of ordinal strength φω0 ⋮ More on Systems of Truth and Predicative Comprehension ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ Deflationary truth and the ontology of expressions ⋮ Guest editors' introduction ⋮ On the costs of nonclassical logic ⋮ The axiom of choice and combinatory logic ⋮ MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE ⋮ AXIOMS FOR DETERMINATENESS AND TRUTH ⋮ Some notes on truths and comprehension ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Feferman and the Truth ⋮ Axiomatizing Kripke's theory of truth ⋮ Truth and the philosophy of mathematics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH ⋮ MINIMAL TRUTH AND INTERPRETABILITY ⋮ Reflecting and unfolding ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ THE EXPRESSIVE POWER OF TRUTH ⋮ Extending the first-order theory of combinators with self-referential truth ⋮ Universes over Frege structures ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ A note on typed truth and consistency assertions

This page was built for publication: Notes on Formal Theories of Truth