Compositional truth with propositional tautologies and quantifier-free correctness
DOI10.1007/s00153-023-00893-3arXiv2011.06940OpenAlexW3102402518MaRDI QIDQ6139242
Publication date: 18 January 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.06940
conservativenesscompositional truthdisjunctive correctnessTarski boundary\( \mathrm{CT}_0\)propositional soundness
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonstandard definability
- Deflationary truth and pathologies
- Handbook of philosophical logic. Vol. 5
- Truth, disjunction, and induction
- Local collection and end-extensions of models of compositional truth
- Construction of Satisfaction Classes for Nonstandard Models
- DISJUNCTIONS WITH STOPPING CONDITIONS
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
- The two halves of disjunctive correctness
This page was built for publication: Compositional truth with propositional tautologies and quantifier-free correctness