scientific article; zbMATH DE number 2024621
From MaRDI portal
Publication:4443196
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.
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