Structural Rules in Natural Deduction with Alternatives

DOI10.18778/0138-0680.2023.6OpenAlexW4384696885MaRDI QIDQ6200461

Greg Restall

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2023.6

zbMATH Keywords

natural deductionsubstructural logicsproofclassical logicBilateralism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Linear logic
• Combinatory logic. With two sections by William Craig.
• Substructural logics: a primer
• A normalizing system of natural deduction for intuitionistic linear logic
• Assumption Classes in Natural Deduction
• Proofs of strong normalisation for second order classical natural deduction
• Proof Nets for Classical Logic
• Rejection
• Rejection and valuations
• Substructural Logics in Natural Deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item