On an inferential semantics for classical logic

DOI10.1093/JIGPAL/JZT038MaRDI QIDQ5172129zbMATH OpenOpenAlexFDO

Authors David Makinson

Publication date 12 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzt038

zbMATH Keywords

classical logicinferentialismmaxiconsistencyproduction rulesproof-theoretic semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• Classical harmony and separability
• Classical logic without bivalence
• The problem of harmony in classical logic
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• Inferentializing semantics

Cited in

(20)

• Classical harmony and separability
• Normality, non-contamination and logical depth in classical natural deduction
• Failure of completeness in proof-theoretic semantics
• Fractional semantics for classical logic
• scientific article; zbMATH DE number 1348455 (Why is no real title available?)
• ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
• Infinitary classical logic: recursive equations and interactive semantics
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• A logic's proper semantics
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• A sequent calculus perspective on base-extension semantics
• Base-extension semantics for S5 modal logic
• Base-extension semantics for modal logic
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• A proof-theoretic approach to the semantics of classical linear logic
• Non-adjunctive inference and classical modalities
• An informational view of classical logic

This page was built for publication: On an inferential semantics for classical logic

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