scientific article; zbMATH DE number 3245444
From MaRDI portal
zbMath0153.00702MaRDI QIDQ5532530
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Remark on a finite axiomatization of finite intermediate propositional logics, A study of intermediate propositional logics on the third slice, Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic, Equational axioms for classes of Heyting algebras, Finite equational bases for finite algebras in a congruence-distributive equational class, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras, Primitive Satisfaction and Equational Problems for Lattices and Other Algebras, Kripke models and intermediate logics, A note on entropy of logic, Axiomatization of models for intermediate logics constructed with Boolean models by piling up
