Results 211 to 220 of about 1,656 (236)
Some of the next articles are maybe not open access.
The Prime Spectrum of an MV‐Algebra
Mathematical Logic Quarterly, 1994AbstractIn this paper we show that the prime ideal space of an MV‐algebra is the disjoint union of prime ideal spaces of suitable local MV‐algebras. Some special classes of algebras are defined and their spaces are investigated. The space of minimal prime ideals is studied as well.Mathematics Subject Classification: 03B50, 06D99.
L. P. Belluce +2 more
openaire +3 more sources
On the probability theory on MV algebras
Soft Computing, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Studia Logica, 2001
MV-algebras are an algebraic counterpart of Łukasiewicz infinite-valued propositional logic. By D. Mundici, they are in a one-to-one correspondence with unital abelian lattice-ordered groups (\(\ell \)-groups). Pseudo MV-algebras are a non-commutative generalization of MV-algebras, and \textit{A. Dvurečenskij} [``Pseudo MV-algebras are intervals in \(l\
openaire +1 more source
MV-algebras are an algebraic counterpart of Łukasiewicz infinite-valued propositional logic. By D. Mundici, they are in a one-to-one correspondence with unital abelian lattice-ordered groups (\(\ell \)-groups). Pseudo MV-algebras are a non-commutative generalization of MV-algebras, and \textit{A. Dvurečenskij} [``Pseudo MV-algebras are intervals in \(l\
openaire +1 more source
Fuzzy Sets and Systems
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dvurečenskij, A. +3 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dvurečenskij, A. +3 more
openaire +3 more sources
Profinite MV-algebras and Multisets
Order, 2015\textit{C. C. Chang} [Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)] introduced the equational class of MV-algebras as the Lindenbaum algebras of Łukasiewicz logic. He then gave an algebraic proof of the completeness theorem for this logic. Profinite MV-algebras are defined as inverse limits of finite MV-algebras.
openaire +2 more sources
States on Polyadic MV-algebras
Studia Logica, 2010The paper generalises Gaifman's approach to probabilistic models of first-order classical logic to the case of first-order Łukasiewicz infinite-valued logic. The paper is structured as follows: Section 2 recalls fundamental notions of the theory of MV-algebras, which constitutes the algebraic semantics of propositional Łukasiewicz logic, while Section ...
openaire +2 more sources