A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”

DOI10.1017/S1755020319000571zbMath1473.03035OpenAlexW2980259917MaRDI QIDQ3389498

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)

Related Items (5)

Systems for non-reflexive consequence ⋮ ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Structural weakening and paradoxes ⋮ Cut elimination for systems of transparent truth with restricted initial sequents

Cites Work

• Logic without contraction as based on inclusion and unrestricted abstraction
• Contraction, infinitary quantifiers, and omega paradoxes
• Untersuchungen über das logische Schliessen. II
• TRUTH WITHOUT CONTRA(DI)CTION

This page was built for publication: A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”