On subvarieties of symmetric closure algebras
DOI10.1016/S0168-0072(00)00043-9zbMath0989.06010OpenAlexW2117620203WikidataQ126977483 ScholiaQ126977483MaRDI QIDQ5935988
Publication date: 2 July 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00043-9
Boolean algebraclosure operatorclosure algebraDe Morgan algebraequational basisHeyting algebralattice of subvarietiesmonadic algebra
Lattices of varieties (08B15) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Equations in the theory of \(Q\)-distributive lattices
- The algebra of topology
- On closed elements in closure algebras
- Free algebras in the variety of three-valued closure algebras
- Heyting Algebras with a Dual Lattice Endomorphism
- Algebras Whose Congruence Lattices are Distributive.
- On Equational Classes of Algebraic Versions of Logic I.
- Equations in the Theory of Monadic Algebras
This page was built for publication: On subvarieties of symmetric closure algebras