On products of posets and coproducts of KM-algebras

DOI10.1007/s00500-015-1693-6zbMath1454.06008OpenAlexW1990134127MaRDI QIDQ521725

Yong-Cai Geng, Sumit K. Garg

Publication date: 12 April 2017

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

Full work available at URL: https://doi.org/10.1007/s00500-015-1693-6

zbMATH Keywords

coproductsproductsEsakia dualityHeyting algebras with operatorsKM-algebras

Mathematics Subject Classification ID

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

Related Items (1)

On prelinear Hilbert algebras with successor

Cites Work

• Interpolation property for extensions of intuitionistic provability logic
• On superintuitionistic logics as fragments of proof logic extensions
• Provability interpretations of modal logic
• Ordered sets
• On some classes of Heyting algebras with successor that have the amalgamation property
• On Priestley spaces of lattice-ordered algebraic structures
• Magari and \(\Delta\)-pseudo-Boolean algebras
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS
• An algebraic approach to intuitionistic connectives
• Logic KM: A Biography
• Logic with truth values in A linearly ordered heyting algebra
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On products of posets and coproducts of KM-algebras