Proof theory for lattice-ordered groups

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

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

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

Through your library

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,076,341)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

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.
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.
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.
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.