On congruences in weak implicative semi-lattices

DOI10.1007/S00500-016-2188-9zbMath1403.06006OpenAlexW2405703447MaRDI QIDQ1701818

Hernán Javier San Martín

Publication date: 27 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2188-9

zbMATH Keywords

congruencesemi-Heyting algebrascompatible functionsimplication operationimplicative semi-latticeslocally affine completeness

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10) Semilattices (06A12) Other generalizations of distributive lattices (06D75)

Related Items (4)

On self‐distributive weak Heyting algebras ⋮ Sub-Hilbert lattices ⋮ \(l\)-hemi-implicative semilattices ⋮ On relative principal congruences in term quasivarieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The variety generated by semi-Heyting chains
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Semi-intuitionistic logic
• On some compatible operations on Heyting algebras
• An algebraic approach to non-classical logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Completeness in arithmetical algebras
• Free-decomposability in varieties of semi-Heyting algebras
• An algebraic approach to intuitionistic connectives
• Bounded distributive lattices with strict implication
• Implicative Semi-Lattices

This page was built for publication: On congruences in weak implicative semi-lattices