scientific article; zbMATH DE number 2024621

MaRDI QIDQ4443196zbMATH OpenFDO

Authors Zachary Ernst, Branden Fitelson, Larry Wos, Kenneth D. Harris

Publication date 2001

zbMATH Keywords

axiomatizationimplicational fragment of Dunn's system RM

Mathematics Subject Classification ID

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

Recommendations

• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• Fragments of R-mingle
• scientific article; zbMATH DE number 1463254
• Shortest axiomatizations of implicational S4 and S5
• The RM paraconsistent refutation system

Cited in

(4)

• Shortest axiomatizations of implicational S4 and S5
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• scientific article; zbMATH DE number 4063062 (Why is no real title available?)
• On two open questions concerning the implicational fragment of R-mingle

This page was built for publication:

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