Free algebras in the variety of three-valued closure algebras

DOI10.1017/S1446788700003839zbMath1023.06010OpenAlexW2098327843MaRDI QIDQ3146371

José Patricio Díaz Varela, Manuel Abad

Publication date: 9 October 2002

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1446788700003839

zbMATH Keywords

free algebraclosure operatorclosure algebraHeyting algebrainterior operator

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Free algebras (08B20) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties of lattices (06B20)

Related Items (2)

On subvarieties of symmetric closure algebras ⋮ Closure Łukasiewicz algebras

Cites Work

• Algèbres de Boole monadiques libres
• Equational classes of relative Stone algebras
• The algebra of topology
• On closed elements in closure algebras
• The Fraser-Horn and Apple Properties
• Algebras Whose Congruence Lattices are Distributive.
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Free algebras in the variety of three-valued closure algebras