Structural Rules in Natural Deduction with Alternatives

DOI10.18778/0138-0680.2023.6MaRDI QIDQ6200461zbMATH OpenOpenAlexFDO

Authors Greg Restall

Publication date 29 February 2024

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

natural deductionsubstructural logicsclassical logicproofBilateralism

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 517083 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• A normalizing system of natural deduction for intuitionistic linear logic
• Assumption Classes in Natural Deduction
• Combinatory logic. With two sections by William Craig.
• Linear logic
• Multiple conclusions
• Proof Nets for Classical Logic
• Proofs of strong normalisation for second order classical natural deduction
• Rejection
• Rejection and valuations
• Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
• Substructural Logics in Natural Deduction
• Substructural logics: a primer

Cited in

(2)

• Simple sequent systems for the modal logics K, D, T, and S4
• Proofs with star and perp

This page was built for publication: Structural Rules in Natural Deduction with Alternatives

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