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

proof-theoretic semanticsclassical logicinferentialismproduction rulesmaxiconsistency

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

(13)

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

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)