Annals of Pure and Applied Logic 167 (8):707-724 (2016)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2016.04.004 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,316
External links
- From the Publisher via CrossRef (no proxy)
- linkinghub.elsevier.com (no proxy)
- boris.unibe.ch
(no proxy) - linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
Algebraic Proof Theory for Substructural Logics: Cut-Elimination and Completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Citations of this work BETA
Integrally Closed Residuated Lattices.José Gil-Férez, Frederik Möllerström Lauridsen & George Metcalfe - 2020 - Studia Logica 108 (5):1063-1086.
Similar books and articles
Lattice-Ordered Reduced Special Groups.M. Dickmann, M. Marshall & F. Miraglia - 2005 - Annals of Pure and Applied Logic 132 (1):27-49.
A Simplified Duality for Implicative Lattices and L-Groups.Nestor G. Martinez - 1996 - Studia Logica 56 (1-2):185 - 204.
An Elementary Presentation of the Equivalence Between MV-Algebras and L-Groups with Strong Unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
First-Order Theories of Subgroups of Divisible Hahn Products.F. Lucas - 2003 - Annals of Pure and Applied Logic 121 (2-3):261-279.
Boolean Skeletons of MV-Algebras and ℓ-Groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Existentially Closed Models Via Constructible Sets: There Are 2ℵ0 Existentially Closed Pairwise Non Elementarily Equivalent Existentially Closed Ordered Groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
Free Abelian Lattice-Ordered Groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers.Annika M. Wille - 2004 - Studia Logica 76 (2):275 - 290.
The Logic of Equilibrium and Abelian Lattice Ordered Groups.Adriana Galli, Renato A. Lewin & Marta Sagastume - 2004 - Archive for Mathematical Logic 43 (2):141-158.
Phi-Symmetric Effect Algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
Hyper-Regular Lattice-Ordered Groups.Daniel Gluschankof & François Lucas - 1993 - Journal of Symbolic Logic 58 (4):1342-1358.
Groups Definable in Ordered Vector Spaces Over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
Uniqueness of the Implication for Totally Ordered MV-Algebras.Néstor G. Martı́nez & Alejandro Petrovich - 2001 - Annals of Pure and Applied Logic 108 (1-3):261-268.
Cut Elimination and Strong Separation for Substructural Logics: An Algebraic Approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.
Analytics
Added to PP index
2016-06-30
Total views
7 ( #1,071,713 of 2,519,441 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,441 )
2016-06-30
Total views
7 ( #1,071,713 of 2,519,441 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,441 )
How can I increase my downloads?
Downloads
