On the lattice of quasivarieties of Sugihara algebras
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.
- Universal algebras
- (Quasi-)Birkhoff classes and complete homomorphic images of lattices of (quasi-) varieties
- Fragments of R-mingle
- A note on Sugihara algebras
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- Quasivarieties of algebras with definable principal congruences
- Sugihara algebras: admissibility algebras via the test spaces method
- Categories of models of \(\mathbf{R}\)-mingle
- In memory of Willem Johannes Blok 1947-2003
- Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains
- Representable idempotent commutative residuated lattices
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- The Fraser-Horn and Apple Properties
- Deduction theorems within RM and its extensions
- scientific article; zbMATH DE number 1534353 (Why is no real title available?)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- scientific article; zbMATH DE number 7268091 (Why is no real title available?)
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
- The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
- Hereditarily structurally complete extensions of \(\mathbf{RM}\)
- Positive Sugihara monoids
This page was built for publication: On the lattice of quasivarieties of Sugihara algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821123)
