Cut elimination for systems of transparent truth with restricted initial sequents

DOI10.1215/00294527-2021-0032OpenAlexW3034995351MaRDI QIDQ2075280FDOQ2075280

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

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

zbMATH Keywords

substructural logiccut eliminationformal theories of truth

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)