Perfect MV-algebras and their logic (Q2642577): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:23, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Perfect MV-algebras and their logic |
scientific article |
Statements
Perfect MV-algebras and their logic (English)
0 references
17 August 2007
0 references
An algebra \((A, \oplus, \neg, 0)\) of type (2,1,0) is called MV-algebra if \((A,\oplus, 0)\) is a commutative monoid, \(x\oplus 1=1\), \(\neg \neg x=x\) and \(\neg (\neg x \oplus y)\oplus y=\neg (\neg y \oplus x)\oplus x\) for every \(x,y\in A\) (where \(\neg 0=1\)). For \(x\in A\), the least integer \(n\) for which \(nx=1\) is called the order of \(x\). When such an integer exists, we denote it by \(\text{ord}(x)\) and say that \(x\) has finite order, otherwise we say that \(x\) has infinite order and we write \(\text{ord}(x)=\infty\). An MV-algebra \(A\) is called perfect if for every \(x\in A, x\neq 0\), \(\text{ord}(x)=\infty\) iff \(\text{ord}(\neg x)<\infty\). The main results of this paper can be summarized as follows: 1.~The class of perfect MV-algebras is a universal class; 2. For a given MV-algebra \(A\) and a prime ideal \(P\) of \(A\), a local MV-algebra \(A_{P}\) can be canonically associated to \(A\), actually \(A_{P}\) is perfect (\(A_{P}\) is the canonical localization of \(A\) at the prime ideal \(P\)); 3. For any subalgebra \(A'\) of \(A\), having \(P\) as maximal ideal, the spectrum of \(A'/O_{P}\) (\(O_{P}\) is the intersection of all prime ideals contained in \(P\)) is homeomorphic to a subspace of \(\text{Spec}(A)\) (the set of prime ideals of \(A\)); 4. There exists a natural presheaf of perfect MV-algebras associated to each MV-algebra; 5. An equivalence is described between an enriched category of MV-algebras having as objects pairs \((A,P)\), where \(A\) is an MV-algebra and \(P\) a prime ideal of \(A\), and the category of perfect MV-algebras, a full subcategory of the category of all MV-algebras, via the canonical localization of \(A\) at \(P\); 6. The authors present two logical systems, based on sentential Łukasiewicz calculus, for which completeness theorems can be proved with respect to Chang's MV-algebra \(C\) and with respect to all perfect MV-chains, respectively.
0 references
MV-algebra
0 references
Łukasiewicz logic
0 references
perfect MV-algebras
0 references
localization
0 references