A general schema for bilateral proof rules

DOI10.1007/S10992-024-09743-WMaRDI QIDQ6544534

Ryan Simonelli

Publication date: 27 May 2024

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

zbMATH Keywords

classical logicproof-theoretic semanticsinferentialismbilateralismclassical sequent calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Bilateralism in proof-theoretic semantics
• Why conclusions should remain single
• Proof methods for modal and intuitionistic logics
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Classical harmony and separability
• Speech acts, categoricity, and the meanings of logical connectives
• Some comments on Ian Rumfitt's bilateralism
• Structural proof theory. With an appendix by Aarne Ranta
• A judgmental reconstruction of modal logic
• Falsification, natural deduction and bi-intuitionistic logic
• Proof and Falsity
• What is Logic?
• On cut elimination in the presence of perice rule
• The categoricity problem and truth-value gaps
• Rejection
• CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
• EPISTEMIC MULTILATERAL LOGIC
• A Gentzen-type calculus of sequents for single-operator propositional logic
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Supposition: A Problem for Bilateralism
• Harmony and Normalisation in Bilateral Logic
• Bilateral inversion principles

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)