On tense MV-algebras

DOI10.1016/j.fss.2014.06.006zbMath1335.03069arXiv1305.3406MaRDI QIDQ277554

Michal Botur, Jan Paseka

Publication date: 2 May 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.3406

zbMATH Keywords

MV-algebras; predicate logic; tense operators

Mathematics Subject Classification ID

03G25: Other algebras related to logic

06D35: MV-algebras

Related Items

Unnamed Item, Unnamed Item, A Topological Approach to Tense LMn×m-Algebras, Unnamed Item, How to produce S-tense operators on lattice effect algebras, Operators on Pavelka's algebras induced by fuzzy relations, Galois connections and tense operators on q-effect algebras, Subdirectly irreducible IKt-algebras, Partial tense MV-algebras and related functions, Principal and Boolean congruences on \(IKt\)-algebras, A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras, Operators on MV-algebras and their representations.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense operators on basic algebras
• Algebraic axiomatization of tense intuitionistic logic
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Algebraic foundations of many-valued reasoning
• Operators on MV-algebras and their representations.
• Dynamic effect algebras and their representations
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• On fuzzy hidden variables
• Dynamic effect algebras
• Tense operators on m-symmetric algebras
• Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
• Algebraic Analysis of Many Valued Logics
• Many-Valued Modal Propositional Calculi
• The σ-complete MV-algebras which have enough states