Intelim Rules for Classical Connectives

DOI10.1007/978-94-007-7759-0_16zbMath1311.03028OpenAlexW2213601343MaRDI QIDQ5250317

David Makinson

Publication date: 19 May 2015

Published in: David Makinson on Classical Methods for Non-Classical Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7759-0_16

zbMATH Keywords

classical logicelimination rulesintroduction rulestruth-functional connectivesintelim rules

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: Intelim Rules for Classical Connectives