Publication:4149452
From MaRDI portal
zbMath0373.02045MaRDI QIDQ4149452
Publication date: 1977
03G25: Other algebras related to logic
06B05: Structure theory of lattices
08A05: Structure theory of algebraic structures
03G05: Logical aspects of Boolean algebras
22A99: Topological and differentiable algebraic systems
Related Items
Construction of an HV-K-algebra from a BCK-algebra based on “Ends Lemma”, Equational spectrum of Hilbert varieties, Fuzzy implicative ideals in BCK-algebras, The poset structure of positive implicative BCK-algebras, Commutative deductive systems of pseudo-BCK-algebras, Sharp and meager elements in orthocomplete homogeneous effect algebras, Embeddings of generalized effect algebras into complete effect algebras