scientific article; zbMATH DE number 5241990

zbMath1136.03045MaRDI QIDQ5445179

Denisa Diaconescu, George Georgescu

Publication date: 3 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tense MV-algebratense Moisil logictense Lukasiewicz-Moisil algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) MV-algebras (06D35) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (28)

Decidability of order-based modal logics ⋮ On tense MV-algebras ⋮ Modal operators on pseudo-BE algebras ⋮ Dynamic effect algebras and their representations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tense operators in fuzzy logic ⋮ Galois connections and tense operators on q-effect algebras ⋮ Subdirectly irreducible IKt-algebras ⋮ Tense Operators on BL-algebras and Their Applications ⋮ On Heyting algebras with negative tense operators ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Tense logic based on finite orthomodular posets ⋮ Partial tense MV-algebras and related functions ⋮ Dynamic order algebras as an axiomatization of modal and tense logics ⋮ Tense operators on basic algebras ⋮ Tense operators on non-commutative residuated lattices ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Expressivity in chain-based modal logics ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ Unnamed Item ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ Operators on MV-algebras and their representations. ⋮ A categorical equivalence for tense Nelson algebras

This page was built for publication: