Proof theory for lattice-ordered groups

&
Annals of Pure and Applied Logic 167 (8):707-724 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.04.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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
2016-06-30

Downloads
19 (#781,160)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

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.

Add more references