The following pages link to (Q5389310):
Displaying 6 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)
