THE EXPRESSIVE POWER OF TRUTH
From MaRDI portal
Publication:5259727
DOI10.1017/S1755020314000392zbMath1382.03014MaRDI QIDQ5259727
Martin J. Fischer, Leon Horsten
Publication date: 29 June 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020314000392
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
Related Items
MODELS OF POSITIVE TRUTH, MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, Deflationary truth and the ontology of expressions
Cites Work
- Classes and truths in set theory
- On the logic of reducibility: Axioms and examples
- TRUTH AND SPEED-UP
- Finite Axiomatizability using additional predicates
- Notes on Formal Theories of Truth
- Second-Order Logic and Foundations of Mathematics
- On mathematical instrumentalism
- MINIMAL TRUTH AND INTERPRETABILITY
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item