- 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
Finite embeddability property for residuated groupoids
Abstract
We prove Finite Embeddability Property for the class of residuated groupoids. The problem whether the class has FEP was left open by Blok and van Alten in "On the finite embeddability property for residuated ordered groupoids", Transactions of the AMS 357, pp. 4141--4157. We combine proof theoretic and algebraic methods.My notes
Similar books and articles
Analytics
Added to PP
2015-02-12
Downloads
0
6 months
0
2015-02-12
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.Z. Lin - 2014 - Logic Journal of the IGPL 22 (3):494-512.
Undecidability of consequence relation in full non-associative Lambek calculus.Karel Chvalovský - 2015 - Journal of Symbolic Logic 80 (2):567-586.
Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.
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-55b469568f-cdf2d uwo