The following pages link to (Q5389310):
Displaying 10 items.
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Dynamic order algebras as an axiomatization of modal and tense logics (Q904480) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Tense operators on non-commutative residuated lattices (Q1701919) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q1933793) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q2318247) (← links)
