On an inferential semantics for classical logic

DOI10.1093/JIGPAL/JZT038zbMath1343.03009OpenAlexW2044343225MaRDI QIDQ5172129

David Makinson

Publication date: 12 February 2015

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

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

zbMATH Keywords

classical logicproof-theoretic semanticsinferentialismproduction rulesmaxiconsistency

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ Failure of completeness in proof-theoretic semantics ⋮ Normality, non-contamination and logical depth in classical natural deduction

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