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

zbMATH Open1228.06004MaRDI QIDQ3086536FDOQ3086536

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

Publication date: 30 March 2011

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

zbMATH Keywords

dualityhomomorphic imagesHeyting algebrasubalgebrasfinite chainssuccessor operationHeyting space

Mathematics Subject Classification ID

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

Cited In (8)

• Heyting algebras with operators
• 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
• 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)