On the lattice of \(n\)-filters of an \(\mathrm{LM}_n\)-algebra (Q2464678): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Dumitru Buşneag / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sergiu Rudeanu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2478/s11533-007-0012-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2095135111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lukasiewicz-Moisil algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean multiplicative closures, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5613920 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4792046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165427 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5779178 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5551428 / rank | |||
Normal rank |
Latest revision as of 14:18, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the lattice of \(n\)-filters of an \(\mathrm{LM}_n\)-algebra |
scientific article |
Statements
On the lattice of \(n\)-filters of an \(\mathrm{LM}_n\)-algebra (English)
0 references
17 December 2007
0 references
Let \(L\) be an \(n\)-valued Lukasiewicz-Moisil algebra with endomorphisms \(\varphi_1,\dots,\varphi_n\). The lattice filters of \(L\) that are closed with respect to \(\varphi_1\), and hence with respect to all the endomorphisms \(\varphi_i\), are called \(n\)-filters. It is known that the set \(F_n(L)\) of all \(n\)-filters of \(L\) is an algebraic sublattice of the lattice \(F(L)\) of all lattice filters of \(L\). The authors endow \(F_n(L)\) with an operation \(\rightsquigarrow\) of relative pseudocomplementation, so that \((F_n(L),\vee,\cap,\rightsquigarrow,\{1\},L)\) is a Heyting algebra. Let \(F^*=F\rightsquigarrow\{1\}\) denote the pseudocomplement of \(F\) in this Heyting algebra. The authors prove that \((F_n(L),\vee,\cap,^*,\{1\},L)\) is a Boolean algebra if and only if every \(n\)-filter of \(L\) is principal and for every \(x\in L\) there is \(y\in L\) such that \(x\vee y=1\) and \(\varphi_1(x\wedge y)=0\). Further let \(\text{Spec}_n(L)\) denote the set of meet-irreducible elements of \(F_n(L)\). Several characterizations of the filters in \(\text{Spec}_n(L)\) are provided and it is proved that if every \(F\in F_n(L)\) has a unique representation as an intersection of elements of \(\text{Spec}_n(L)\), then again \((F_n(L),\vee,\cap,^*,\{1\},L)\) is a Boolean algebra. The completely meet-irreducible elements of \(F_n(L)\) are characterized as \(n\)-filters \(F\) maximal with respect to some \(A\in L\backslash F\).
0 references