Sugihara algebras: admissibility algebras via the test spaces method
From MaRDI portal
Publication:2301885
Abstract: This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated with the relevant logic R-mingle. The motivation for the paper comes from the study of admissible rules. Recent earlier work by the present authors, jointly with Freisberg and Metcalfe, laid the theoretical foundations for a feasible approach to this problem for a range of logics---the Test Spaces Method. The method, based on natural duality theory, provides an algorithm to obtain the algebra of minimum size on which admissibility of sets of rules can be tested. (In the most general case a set of such algebras may be needed rather than just one.) The method enables us to identify this `admissibility algebra' for each quasivariety of Sugihara algebras which is generated by an algebra whose underlying lattice is a finite chain. To achieve our goals, it was first necessary to develop a (strong) duality for each of these quasivarieties. The dualities promise also to also provide a valuable new tool for studying the structure of Sugihara algebras more widely.
Recommendations
Cites work
- A category equivalence for odd Sugihara monoids and its applications
- Abstract algebraic logic. An introductory textbook
- Admissibility in finitely generated quasivarieties
- Admissibility via natural dualities
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Admissible Rules of Lukasiewicz Logic
- Admissible Rules of Modal Logics
- Algebraic completeness results for R-mingle and its extensions
- Algebraic point lattices of quasivarieties
- An Avron rule for fragments of R-mingle
- Bases of admissible rules of Łukasiewicz logic
- Categories of models of \(\mathbf{R}\)-mingle
- Checking admissibility using natural dualities
- Gödel algebras: interactive dualities and their applications.
- scientific article; zbMATH DE number 432733 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1226180 (Why is no real title available?)
- scientific article; zbMATH DE number 794254 (Why is no real title available?)
- scientific article; zbMATH DE number 802720 (Why is no real title available?)
- Intermediate logics and Visser's rules
- Not every full duality is strong!
- On the admissible rules of intuitionistic propositional logic
- On the lattice of quasivarieties of Sugihara algebras
- Restricted Priestley dualities and discriminator varieties
Cited in
(8)- A note on Sugihara algebras
- On the lattice of quasivarieties of Sugihara algebras
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- TAFA -- a tool for admissibility in finite algebras
- Checking admissibility using natural dualities
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- Piggybacking over unbounded distributive lattices
- Hereditarily structurally complete extensions of \(\mathbf{RM}\)
This page was built for publication: Sugihara algebras: admissibility algebras via the test spaces method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2301885)
