A general schema for bilateral proof rules

DOI10.1007/S10992-024-09743-WMaRDI QIDQ6544534zbMATH OpenFDO

Authors Ryan Simonelli

Publication date 27 May 2024

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-024-09743-W

zbMATH Keywords

bilateralismclassical logicclassical sequent calculusinferentialismproof-theoretic semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A Gentzen-type calculus of sequents for single-operator propositional logic
• A judgmental reconstruction of modal logic
• A nonmonotonic sequent calculus for inferentialist expressivists
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Bilateral inversion principles
• Bilateralism in proof-theoretic semantics
• Classical harmony and separability
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• EPISTEMIC MULTILATERAL LOGIC
• Falsification, natural deduction and bi-intuitionistic logic
• Harmony and Normalisation in Bilateral Logic
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 7594147 (Why is no real title available?)
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• On cut elimination in the presence of perice rule
• Proof and falsity. A logical investigation
• Proof methods for modal and intuitionistic logics
• Proof-theoretic semantics
• Rejection
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Some comments on Ian Rumfitt's bilateralism
• Speech acts, categoricity, and the meanings of logical connectives
• Structural proof theory. With an appendix by Aarne Ranta
• Supposition: A Problem for Bilateralism
• The categoricity problem and truth-value gaps
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Uniqueness of logical connectives in a bilateralist setting
• What is Logic?
• Why conclusions should remain single

Cited in

(2)

• Supposition: no problem for bilateralism
• Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics

This page was built for publication: A general schema for bilateral proof rules

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