The following pages link to (Q5445172):
Displaying 14 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)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← 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)
- Discriminator varieties of double-Heyting algebras (Q2971274) (← links)
- Duality via truth for some fuzzy modal logic (Q6547667) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
