Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut

DOI10.1007/978-3-319-29198-7_10zbMath1439.03098OpenAlexW2483502110MaRDI QIDQ3305560

Peter Schroeder-Heister

Publication date: 7 August 2020

Published in: Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7_10

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Systems for non-reflexive consequence ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Logical Nihilism and the Logic of ‘prem’

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial inductive definitions
• On the proof-theoretic foundation of general definition theory
• Sequent calculi for induction and infinite descent
• A Proof-Theoretic Approach to Logic Programming
• A system of formal logic without an analogue to the curry W operator
• Self-contradictory Reasoning

This page was built for publication: Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut