Principal congruences in weak Heyting algebras

DOI10.1007/s00012-016-0381-4zbMath1431.06002OpenAlexW2339423434MaRDI QIDQ2630276

Hernán Javier San Martín

Publication date: 26 July 2016

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

Full work available at URL: https://doi.org/10.1007/s00012-016-0381-4

zbMATH Keywords

principal congruencesweak Heyting algebrascompatible functions

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10)

Related Items (3)

On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ On self‐distributive weak Heyting algebras ⋮ On relative principal congruences in term quasivarieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Frontal operators in weak Heyting algebras
• Compatible operations on residuated lattices
• On some compatible operations on Heyting algebras
• On some new intuitionistic propositional connectives. I
• A closer look at some subintuitionistic logics
• Implicit connectives of algebraizable logics
• Compatible operations on commutative weak residuated lattices
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Compatible operations on commutative residuated lattices
• Algebraizable logics
• Logics Which Are Characterized by Subresiduated Lattices
• Basic Propositional Calculus I
• An algebraic approach to intuitionistic connectives
• Bounded distributive lattices with strict implication

This page was built for publication: Principal congruences in weak Heyting algebras