The following pages link to (Q3467535):
Displayed 13 items.
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Discrete duality for Nelson algebras with tense operators (Q2699011) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Discrete duality for 3-valued Łukasiewicz–Moisil algebras (Q2979762) (← links)
- Algebraic Methods for Granular Rough Sets (Q3299868) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- (Q5087782) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
- (Q6099196) (← links)