Pages that link to "Item:Q969585"
From MaRDI portal
The following pages link to Algebras for Galois-style connections and their discrete duality (Q969585):
Displaying 13 items.
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES (Q5016309) (← links)
- (Q5027056) (← links)
- The properties of residuated connections and Alexandrov topologies (Q5118350) (← links)
- Context Algebras, Context Frames, and Their Discrete Duality (Q5505447) (← links)
- VARIOUS FRAMES AND CONNECTIONS (Q5863384) (← links)
- THE PROPERTIES OF FUZZY CONNECTIONS (Q5863393) (← links)
- MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS (Q5863411) (← links)
