On the lattice of quasivarieties of Sugihara algebras
From MaRDI portal
Publication:1821123
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
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
This page was built for publication: On the lattice of quasivarieties of Sugihara algebras
