scientific article; zbMATH DE number 3245444

zbMath0153.00702MaRDI QIDQ5532530

C. G. McKay

Publication date: 1967

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

zbMATH Keywords

mathematical logic

Related Items (13)

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

This page was built for publication: