scientific article
From MaRDI portal
Publication:3235799
zbMath0072.25004MaRDI QIDQ3235799
No author found.
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Symmetrical Heyting algebras with a finite order type of operators ⋮ Admissibility in positive logics ⋮ Hilbert algebras as implicative partial semilattices ⋮ Implicative Semi-Lattices ⋮ A semantic hierarchy for intuitionistic logic ⋮ \(I_ n\)-symmetrical Heyting algebras ⋮ On a generalized cylindrical algebra and intuitionistic logic ⋮ Relatively free implicative semi-lattices ⋮ Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets ⋮ Covers in lattices of quasivarieties and independent axiomatizability ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Symmetrical Heyting algebras of order \(3\times 3\)
This page was built for publication:
