Cut elimination for systems of transparent truth with restricted initial sequents

DOI10.1215/00294527-2021-0032MaRDI QIDQ2075280zbMATH OpenOpenAlexFDO

Authors 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 eliminationformal theories of truthsubstructural logic

Mathematics Subject Classification ID

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

Recommendations

• Conservativity for theories of compositional truth via cut elimination
• On cut-elimination arguments for axiomatic theories of truth
• A note on the cut-elimination proof in ``Truth without contra(di)ction
• Cut-elimination and quantification in canonical systems
• Typed Lambda Calculi and Applications

Cites work

• A note on the cut-elimination proof in ``Truth without contra(di)ction
• A theory of formal truth arithmetically equivalent to ID₁
• Axiomatizing Kripke's theory of truth
• Conservative theories of classical truth
• Conservatively extending classical logic with transparent truth
• Conservativity for theories of compositional truth via cut elimination
• Construction of Satisfaction Classes for Nonstandard Models
• Contraction, infinitary quantifiers, and omega paradoxes
• Doubt truth to be a liar
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Kripke and the logic of truth
• Outline of a Theory of Truth
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Principles for object-linguistic consequence: from logical to irreflexive
• Proof Analysis
• Proof theory. The first step into impredicativity
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Saving truth from paradox
• The truth is never simple
• The undecidability of Grišin's set theory
• Tolerant, classical, strict
• Truth without contra(di)ction
• Truth, partial logic and infinitary proof systems
• What truth depends on

Cited in

(5)

• Indexed systems of sequents and cut-elimination
• On cut-elimination arguments for axiomatic theories of truth
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Systems for non-reflexive consequence
• Cut elimination for systems of transparent truth with restricted initial sequents

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

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