On the lattice of quasivarieties of Sugihara algebras (Q1821123): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Introduction to the special issue on algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic completeness results for R-mingle and its extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4182712 / rank | |||
Normal rank |
Revision as of 19:20, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the lattice of quasivarieties of Sugihara algebras |
scientific article |
Statements
On the lattice of quasivarieties of Sugihara algebras (English)
0 references
1986
0 references
A Sugihara algebra is any algebra belonging to the variety \({\mathcal S}\) generated by the following algebra: \({\mathfrak S}=(Z,\wedge,\vee,\to,^-)\), where Z is the set of integers with the usual ordering, \(\bar x=-x\) and \(x\to y=\bar x\vee y\) if \(x\leq y\), \(x\to y=\bar x\wedge y\) otherwise. The authors characterize the directly indecomposable finite algebras of \({\mathcal S}\). Then they prove that the lattice \(\Lambda\) (\({\mathcal K})\) of subquasivarieties of a subquasivariety \({\mathcal K}\) of \({\mathcal S}\) is finite if and only if \({\mathcal K}\) is generated by a finite set of finite algebras. Also, \(\Lambda\) (\({\mathcal K})\) is not modular. The relevance of these results to logic is discussed.
0 references
Sugihara algebra
0 references
directly indecomposable finite algebras
0 references
subquasivarieties
0 references