scientific article; zbMATH DE number 5181720

MaRDI QIDQ5754455zbMATH OpenFDO

Authors Shaoping Zhu, Biaolong Memg

Publication date 22 August 2007

zbMATH Keywords

algebraic varietyimplicative semilatticesminimal base

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semilattices (06A12)

Recommendations

• scientific article; zbMATH DE number 7325813
• scientific article; zbMATH DE number 2133836
• On filters of implicative semilattices
• Towards an algebraic semantics for implicatives
• scientific article; zbMATH DE number 3871346
• Implicational (semilinear) logics. I: A new hierarchy
• Strong Semilattices of Implicative Semigroups
• Esakia style duality for implicative semilattices
• Derivations of implicative semi-lattices.
• Modal semilattices, implicative semilattices and triples

Cited in

(11)

• Perfect semilattices
• Implicational (semilinear) logics. III: Completeness properties
• \(l\)-hemi-implicative semilattices
• Esakia style duality for implicative semilattices
• Towards an algebraic semantics for implicatives
• Diego's theorem for nuclear implicative semilattices
• scientific article; zbMATH DE number 3871346 (Why is no real title available?)
• scientific article; zbMATH DE number 3935011 (Why is no real title available?)
• scientific article; zbMATH DE number 7325813 (Why is no real title available?)
• The lattice of varieties of implication semigroups
• Minimum implicational basis for \(\wedge\)-semidistributive lattices

This page was built for publication:

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