Compositional truth with propositional tautologies and quantifier-free correctness

DOI10.1007/s00153-023-00893-3arXiv2011.06940OpenAlexW3102402518MaRDI QIDQ6139242

Bartosz Wcisło

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

zbMATH Keywords

conservativenesscompositional truthdisjunctive correctnessTarski boundary\( \mathrm{CT}_0\)propositional soundness

Mathematics Subject Classification ID

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