Heyting* algebras, topological Boolean algebras and P.O. systems

DOI10.1007/BF01188379zbMath0644.06004MaRDI QIDQ1102308

Alain Touraille

Publication date: 1987

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

topological Boolean algebrasclosure algebrasHeyting algebras with a unary operationpartially ordered systemstopological derivation

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

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

• Unnamed Item
• On closed elements in closure algebras
• Compact zero-dimensional metric spaces of finite type
• Completely Distributive Complete Lattices
• A characterization of ΣΔ-rings of subsets

This page was built for publication: Heyting* algebras, topological Boolean algebras and P.O. systems