Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
From MaRDI portal
Publication:1117257
DOI10.1007/BF01978303zbMath0667.06007MaRDI QIDQ1117257
Publication date: 1988
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187417
03G10: Logical aspects of lattices and related structures
06D20: Heyting algebras (lattice-theoretic aspects)
03G25: Other algebras related to logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Groups with Abelian subgroups of finite ranks
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Bases of quasiidentities of finite distributive p-algebras
- Covers in lattices of quasivarieties and independent axiomatizability
- On the structure of varieties with equationally definable principal congruences. I
- Equational Bases for Lattice Theories.
- Implicational Classes of Pseudocomplemented Distributive Lattices
- Algebras Whose Congruence Lattices are Distributive.
- Representation of Distributive Lattices by means of ordered Stone Spaces