Pages that link to "Item:Q3061277"
From MaRDI portal
The following pages link to Intuitionistic propositional logic with Galois connections (Q3061277):
Displaying 15 items.
- Modes of adjointness (Q484110) (← links)
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Imperative logic as based on a Galois connection (Q3822140) (← links)
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic (Q4221769) (← links)
- Characterizing intermediate tense logics in terms of Galois connections (Q4644502) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- Intuitionistic modal logic with a galois connection has the finite model property1 (Q4925167) (← links)
- Generating Isotone Galois Connections on an Unstructured Codomain (Q5227374) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
