Structural Rules in Natural Deduction with Alternatives

DOI10.18778/0138-0680.2023.6OpenAlexW4384696885MaRDI QIDQ6200461FDOQ6200461

Authors: 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 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

• Substructural logics: a primer
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Substructural Logics in Natural Deduction
• Multiple conclusions
• Title not available (Why is that?)
• Linear logic
• Combinatory logic. With two sections by William Craig.
• Title not available (Why is that?)
• Rejection
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proofs of strong normalisation for second order classical natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• Rejection and valuations
• Title not available (Why is that?)
• Proof Nets for Classical Logic
• Assumption Classes in Natural Deduction
• Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning

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)