A characterization of Stone and linear Heyting algebras

DOI10.33044/revuma.2052OpenAlexW4224136394MaRDI QIDQ5101863

Alejandro Petrovich, Carlos Ernesto Scirica

Publication date: 2 September 2022

Published in: Revista de la Unión Matemática Argentina (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33044/revuma.2052

zbMATH Keywords

embeddingHeyting algebrasvarieties

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Les algèbres de Heyting et de Lukasiewicz trivalentes
• On a problem of M. H. Stone
• A propositional calculus with denumerable matrix
• Logic with truth values in A linearly ordered heyting algebra

This page was built for publication: A characterization of Stone and linear Heyting algebras