Pages that link to "Item:Q657427"
From MaRDI portal
The following pages link to Algebraic axiomatization of tense intuitionistic logic (Q657427):
Displaying 19 items.
- On tense MV-algebras (Q277554) (← links)
- Tense operators on spaces of numerical events (Q472715) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← 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)
- Galois connections and tense operators on q-effect algebras (Q1677935) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Partial tense MV-algebras and related functions (Q1697648) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- On the finite model property of weak intuitionistic tense logic (Q2148830) (← links)
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q2318247) (← links)
- (Q4963134) (← links)
- (Q4963163) (← links)
- A Topological Approach to Tense LMn×m-Algebras (Q5126203) (← links)
- (Q5863861) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
