Propositional logic extended with a pedagogically useful relevant implication

MaRDI QIDQ4982510zbMATH OpenFDO

Authors Diderik Batens

Publication date 9 April 2015

zbMATH Keywords

classical logicrelevant implication

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A new approach to classical relevance
• Relevant connexive logic
• Combining classical logic, paraconsistency and relevance
• scientific article; zbMATH DE number 4047689
• scientific article; zbMATH DE number 2101978

Cited in

(4)

• Relevant implication and the case for a weaker logic
• Adding the everywhere operator to propositional logic
• Implicational Logic, Relevance, and Refutability
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)

This page was built for publication: Propositional logic extended with a pedagogically useful relevant implication

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