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

DOI10.1017/S1755020319000571zbMATH Open1473.03035OpenAlexW2980259917MaRDI QIDQ3389498FDOQ3389498

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

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

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)

Cites Work

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

Cited In (6)

• Cut elimination for systems of transparent truth with restricted initial sequents
• 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)