- 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
The equational theories of representable residuated semigroups
Synthese 192 (7):2151-2158 (2015)
Abstract
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related resultsMy notes
Similar books and articles
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.Szabolcs Mikulás - 2015 - Studia Logica 103 (3):453-478.
On representable ordered residuated semigroups.Szabolcs Mikulás - 2011 - Logic Journal of the IGPL 19 (1):233-240.
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus.A. Kurucz, I. Nemeti, I. Sain & A. Simon - 1993 - Logic Journal of the IGPL 1 (1):91-98.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras.Jeremy F. Alm, Robin Hirsch & Roger D. Maddux - 2016 - Review of Symbolic Logic 9 (3):511-521.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
On the equational theory of representable polyadic equality algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
Bounded BCK-algebras and their generated variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
On the Equational Theory of Representable Polyadic Equality Algebras.Istvan Nemeti & Gabor Sagi - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Analytics
Added to PP
2014-07-11
Downloads
26 (#599,290)
6 months
1 (#1,722,767)
2014-07-11
Downloads
26 (#599,290)
6 months
1 (#1,722,767)
Historical graph of downloads
Citations of this work
Eight journals over eight decades: a computational topic-modeling approach to contemporary philosophy of science.Christophe Malaterre, Francis Lareau, Davide Pulizzotto & Jonathan St-Onge - 2020 - Synthese 199 (1-2):2883-2923.
References found in this work
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
On representable ordered residuated semigroups.Szabolcs Mikulás - 2011 - Logic Journal of the IGPL 19 (1):233-240.
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
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-ktvwr uwo