- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes
Studia Logica 83 (1-3):393-406 (2006)
Abstract
CRS(fc) denotes the variety of commutative residuated semilattice-ordered monoids that satisfy (x ⋀ e)k ≤ (x ⋀ e)k+1. A structural characterization of the subdi-rectly irreducible members of CRS(k) is proved, and is then used to provide a constructive approach to the axiomatization of varieties generated by positive universal subclasses of CRS(k).My notes
Similar books and articles
Irreducible Residuated Semilattices and Finitely Based Varieties.Nikolaos Galatos, Jeffrey Olson & James Raftery - 2008 - Reports on Mathematical Logic.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.Antoni Torrens - 2016 - Studia Logica 104 (5):849-867.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics.Juan Manuel Cornejo, Hernn Javier San Martín & Valeria Sígal - forthcoming - Studia Logica:1-31.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
Products of classes of residuated structures.Bjarni Jónsson & Constantine Tsinakis - 2004 - Studia Logica 77 (2):267 - 292.
Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427-440.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):881-922.
Analytics
Added to PP
2009-01-28
Downloads
39 (#398,074)
6 months
7 (#591,670)
2009-01-28
Downloads
39 (#398,074)
6 months
7 (#591,670)
Historical graph of downloads
Citations of this work
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
References found in this work
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Conservative extension in relevant implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo