Answers are grounded in this paper and cite their sources.
Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their question, we show that the induction-free variant of that theory is conservative over Peano Arithmetic.
No takes yet. Share an insight, caveat, or question.
Bartosz Wcisło (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: