Irreducible Residuated Semilattices and Finitely Based Varieties

, &
Reports on Mathematical Logic (2008)
  Copy   BIBTEX

Abstract

This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids. An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under finite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.Jeffrey S. Olson - 2006 - Studia Logica 83 (1-3):393-406.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Varieties of de Morgan monoids: Covers of atoms.T. Moraschini, J. G. Raftery & J. J. Wannenburg - 2020 - Review of Symbolic Logic 13 (2):338-374.
Quasi‐Stone algebras.Nalinaxi H. Sankappanavar & Hanamantagouda P. Sankappanavar - 1993 - Mathematical Logic Quarterly 39 (1):255-268.
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.Antoni Torrens - 2016 - Studia Logica 104 (5):849-867.
Locally finite monoids in finitely based varieties.Edmond W. H. Lee - 2019 - Logic Journal of the IGPL 27 (5):743-745.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references