The following pages link to (Q4943495):
Displaying 22 items.
- On tense MV-algebras (Q277554) (← links)
- On independent varieties and some related notions (Q382342) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
- The power of a propositional constant (Q742479) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Partial tense MV-algebras and related functions (Q1697648) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q2318247) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- A note on a subvariety of linear tense algebras (Q3159408) (← links)
- A Topological Approach to Tense LMn×m-Algebras (Q5126203) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- (Q5863861) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
- Tense logic based on finite orthomodular posets (Q6103758) (← links)
