- 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
On representable ordered residuated semigroups
Logic Journal of the IGPL 19 (1):233-240 (2011)
Abstract
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logicsMy notes
Similar books and articles
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Soft ordered semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Powerset residuated algebras.Mirosława Kołowska-Gawiejnowicz - 2014 - Logic and Logical Philosophy 23 (1):69-80.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
On canonicity and completions of weakly representable relation algebras.Ian Hodkinson & Szabolcs Mikulás - 2012 - Journal of Symbolic Logic 77 (1):245-262.
Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Partially ordered sets representable by recursively enumerable classes.J. B. Florence - 1969 - Journal of Symbolic Logic 34 (1):8-12.
Products of classes of residuated structures.Bjarni Jónsson & Constantine Tsinakis - 2004 - Studia Logica 77 (2):267 - 292.
Analytics
Added to PP
2013-12-28
Downloads
34 (#472,683)
6 months
4 (#798,951)
2013-12-28
Downloads
34 (#472,683)
6 months
4 (#798,951)
Historical graph of downloads
Citations of this work
The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.Szabolcs Mikulás - 2015 - Studia Logica 103 (3):453-478.
References found in this work
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
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-5ff6c685cb-cc9fg uwo