scientific article; zbMATH DE number 2024621

zbMath1036.03016MaRDI QIDQ4443196

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

Publication date: 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

Shortest axiomatizations of implicational S4 and S5 ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems