The word problem for \(Heyting^ *\) algebras

DOI10.1007/BF01188389zbMath0632.06014OpenAlexW1979227431MaRDI QIDQ1095167

Alain Touraille

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1007/bf01188389

zbMATH Keywords

word problemsubdirectly irreduciblefinite embeddability propertyembeddings in topological spacesHeyting algebra congruencesHeyting star algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Free lattices, projective lattices, word problems (06B25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (4)

Théories d'algèbres de Boole munies d'idéaux distingués. II ⋮ An algebraic approach to intuitionistic connectives ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ An operation related to the Cantor-Bendixson derivative

Cites Work

• Unnamed Item
• Heyting* algebras, topological Boolean algebras and P.O. systems
• On closed elements in closure algebras
• Comparing The Expressive Power of Some Languages for Boolean Algebras
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Compact zero-dimensional metric spaces of finite type

This page was built for publication: The word problem for \(Heyting^ *\) algebras