Intelim rules for classical connectives

DOI10.1007/978-94-007-7759-0_16MaRDI QIDQ5250317zbMATH OpenOpenAlexFDO

Authors 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 rulesintelim rulesintroduction rulestruth-functional connectives

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Semantic characterization of intuitionistic logical connectives
• scientific article; zbMATH DE number 3916222
• Deriving natural deduction rules from truth tables
• Inversion principles and introduction rules

Cited in

(7)

• On defining sentential connectives
• Anything goes
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• scientific article; zbMATH DE number 3916222 (Why is no real title available?)
• Inversion principles and introduction rules
• Simple consequence relations
• A calculus for the common rules of \(\wedge\) and \(\vee\)

This page was built for publication: Intelim rules for classical connectives

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