Pages that link to "Item:Q3061277"
From MaRDI portal
The following pages link to Intuitionistic propositional logic with Galois connections (Q3061277):
Displaying 9 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)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Generating Isotone Galois Connections on an Unstructured Codomain (Q5227374) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
