On the variety of Heyting algebras with successor generated by all finite chains

MaRDI QIDQ3086536zbMATH OpenFDO

Authors J. L. Castiglioni, Hernán J. San Martín

Publication date 30 March 2011

zbMATH Keywords

dualityhomomorphic imagesHeyting algebrasubalgebrasfinite chainssuccessor operationHeyting space

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Recommendations

• The finite model property for the variety of Heyting algebras with successor
• On some classes of Heyting algebras with successor that have the amalgamation property
• On frontal Heyting algebras
• On some compatible operations on Heyting algebras
• Heyting algebras with operators

Cited in

(8)

• Heyting algebras with operators
• On some classes of Heyting algebras with successor that have the amalgamation property
• The finite model property for the variety of Heyting algebras with successor
• Frontal operators in weak Heyting algebras
• On prelinear Hilbert algebras with successor
• On some compatible operations on Heyting algebras
• Compatible operations on residuated lattices
• Finitely generated relatively universal varieties of Heyting algebras

This page was built for publication: On the variety of Heyting algebras with successor generated by all finite chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086536)