Intuitionistic propositional logic with Galois connections
From MaRDI portal
Publication:3061277
DOI10.1093/jigpal/jzp057zbMath1221.03012OpenAlexW2065560305MaRDI QIDQ3061277
Michiro Kondo, Jouni Järvinen, Wojciech Dzik
Publication date: 14 December 2010
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp057
Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Morpho-logic from a topos perspective -- application to symbolic AI, Intuitionistic propositional logic with Galois negations, Hilbert algebras with Hilbert-Galois connections, Modes of adjointness, Algebraic Representation, Dualities and Beyond, On the definition of suitable orderings to generate adjunctions over an unstructured codomain, Generating Isotone Galois Connections on an Unstructured Codomain, A proof-theoretic approach to negative translations in intuitionistic tense logics, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
