The theory of commuting subalgebras of complete Heyting algebras

DOI10.1006/aima.1998.1758zbMath0922.06013OpenAlexW2015585734MaRDI QIDQ1273837

Jeffrey Thomas Crants, Catherine Huafei Yan

Publication date: 18 May 1999

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/aima.1998.1758

zbMATH Keywords

Boolean algebraHeyting algebraHorn sentencecommuting subalgebrasdeduction rule

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Boolean algebras (Boolean rings) (06E99) Subalgebras, congruence relations (08A30)

Related Items (1)

The theory of commuting Boolean sigma-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory for linear lattices
• Selected papers on algebra and topology. Ed. by Gian-Carlo Rota and Joseph S. Oliveira
• Distributive laws for commuting equivalence relations
• Commuting quasi-order relations
• Theory of equivalence relations
• The Lattice of Subalgebras of a Boolean Algebra
• Representation of Modular Lattices and Of Relation Algebras
• On the representation of lattices

This page was built for publication: The theory of commuting subalgebras of complete Heyting algebras