On products of posets and coproducts of KM-algebras
From MaRDI portal
Publication:521725
DOI10.1007/s00500-015-1693-6zbMath1454.06008OpenAlexW1990134127MaRDI QIDQ521725
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
Related Items (1)
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