On the lattice of quasivarieties of Sugihara algebras

DOI10.1007/BF00375898zbMATH Open0616.06003OpenAlexW2026966471MaRDI QIDQ1821123FDOQ1821123

Authors: W. J. Blok, W. Dziobiak 

Publication date: 1986

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

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

Recommendations

• scientific article; zbMATH DE number 1534353
• Positive Sugihara monoids
• A note on Sugihara algebras
• The lattice of subquasivarieties of a locally finite quasivariety
• Sugihara algebras: admissibility algebras via the test spaces method

zbMATH Keywords

Sugihara algebradirectly indecomposable finite algebrassubquasivarieties

Mathematics Subject Classification ID

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

Cites Work

• Algebraic completeness results for R-mingle and its extensions
• Introduction to the special issue on algebraic logic
• Title not available (Why is that?)

Cited In (23)

• The parameterized local deduction theorem for quasivarieties of algebras and its application
• In memory of Willem Johannes Blok 1947-2003
• Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains
• Title not available (Why is that?)
• A note on Sugihara algebras
• (Quasi-)Birkhoff classes and complete homomorphic images of lattices of (quasi-) varieties
• Positive Sugihara monoids
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Fragments of R-mingle
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• Title not available (Why is that?)
• Deduction theorems within RM and its extensions
• Representable idempotent commutative residuated lattices
• Universal algebras
• 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
• The Fraser-Horn and Apple Properties
• 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
• A classification of certain group-like \(\mathrm{FL}_e\)-chains
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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)