Cut elimination for systems of transparent truth with restricted initial sequents

DOI10.1215/00294527-2021-0032OpenAlexW3034995351MaRDI QIDQ2075280

Carlo Nicolai

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.07940

zbMATH Keywords

cut eliminationsubstructural logicformal theories of truth

Mathematics Subject Classification ID

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

Related Items (1)

Systems for non-reflexive consequence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Principles for object-linguistic consequence: from logical to irreflexive
• What truth depends on
• Proof theory. The first step into impredicativity
• Kripke and the logic of truth
• Conservative theories of classical truth
• The undecidability of Grišin's set theory
• Truth, partial logic and infinitary proof systems
• Contraction, infinitary quantifiers, and omega paradoxes
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• Proof Analysis
• A theory of formal truth arithmetically equivalent to ID₁
• TRUTH WITHOUT CONTRA(DI)CTION
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• The truth is never simple
• Construction of Satisfaction Classes for Nonstandard Models
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Outline of a Theory of Truth
• Axiomatizing Kripke's theory of truth

This page was built for publication: Cut elimination for systems of transparent truth with restricted initial sequents