EQUIVALENCES FOR TRUTH PREDICATES
From MaRDI portal
Publication:5274881
DOI10.1017/S1755020316000435zbMath1417.03293MaRDI QIDQ5274881
Publication date: 6 July 2017
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on typed truth and consistency assertions
- Proof theory. 2nd ed
- An axiomatic approach to self-referential truth
- The formalization of interpretability
- On interpretations of arithmetic and set theory
- Relative Truth Definability of Axiomatic Truth Theories
- CONSISTENCY AND THE THEORY OF TRUTH
- Arithmetization of metamathematics in a general setting
- More on Systems of Truth and Predicative Comprehension
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
- Outline of a Theory of Truth
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
- Systems of predicative analysis
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
- MINIMAL TRUTH AND INTERPRETABILITY