Heyting* algebras, topological Boolean algebras and P.O. systems
From MaRDI portal
Publication:1102308
DOI10.1007/BF01188379zbMath0644.06004MaRDI QIDQ1102308
Publication date: 1987
Published in: Algebra Universalis (Search for Journal in Brave)
topological Boolean algebrasclosure algebrasHeyting algebras with a unary operationpartially ordered systemstopological derivation
Related Items (4)
The word problem for \(Heyting^ *\) algebras ⋮ Théories d'algèbres de Boole munies d'idéaux distingués. II ⋮ A characterization of primitive Boolean algebras ⋮ An operation related to the Cantor-Bendixson derivative
Cites Work
This page was built for publication: Heyting* algebras, topological Boolean algebras and P.O. systems