A note on the cut-elimination proof in ``Truth without contra(di)ction

DOI10.1017/S1755020319000571MaRDI QIDQ3389498zbMATH OpenOpenAlexFDO

Authors Andreas Fjellstad

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000571

zbMATH Keywords

sequent calculuscut-eliminationinfinitary sequentsnoncontractive theory of truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On permuting cut with contraction
• A cut-elimination proof in intuitionistic predicate logic
• Gentzen's cut-free calculus versus the logic of paradox
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs

Cites work

• Contraction, infinitary quantifiers, and omega paradoxes
• Logic without contraction as based on inclusion and unrestricted abstraction
• Truth without contra(di)ction
• Untersuchungen über das logische Schliessen. II

Cited in

(7)

• Cut elimination for systems of transparent truth with restricted initial sequents
• Non-contractive logics, paradoxes, and multiplicative quantifiers
• ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• Systems for non-reflexive consequence
• If A, then B too, but only if C: a reply to Varzi
• Structural weakening and paradoxes

This page was built for publication: A note on the cut-elimination proof in ``Truth without contra(di)ction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389498)