On the lattice of quasivarieties of Sugihara algebras

DOI10.1007/BF00375898zbMath0616.06003OpenAlexW2026966471MaRDI QIDQ1821123

Wiesław Dziobiak, Willem J. Blok

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00375898

zbMATH Keywords

Sugihara algebradirectly indecomposable finite algebrassubquasivarieties

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Quasivarieties (08C15) Varieties of lattices (06B20)

Related Items

Deduction theorems within RM and its extensions ⋮ Representable idempotent commutative residuated lattices ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Universal algebras ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Fragments of R-mingle ⋮ Quasivarieties of algebras with definable principal congruences ⋮ The Fraser-Horn and Apple Properties ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) ⋮ 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

Cites Work

• Unnamed Item
• Introduction to the special issue on algebraic logic
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: On the lattice of quasivarieties of Sugihara algebras