The following pages link to (Q5445172):
Displayed 10 items.
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- Symmetrical Heyting algebras of order \(3\times 3\) (Q2100223) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)