On an inferential semantics for classical logic

DOI10.1093/JIGPAL/JZT038zbMATH Open1343.03009OpenAlexW2044343225MaRDI QIDQ5172129FDOQ5172129

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

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

zbMATH Keywords

proof-theoretic semanticsclassical logicinferentialismproduction rulesmaxiconsistency

Mathematics Subject Classification ID

Classical first-order logic (03B10)

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
• Title not available (Why is that?)
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Classical harmony and separability
• 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)