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: 93,891

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

Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
Corrigendum to “Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements” [Ann. Pure Appl. Logic 170 (2019) 673–698]. [REVIEW]Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (11):102720.
AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
First order theory of cyclically ordered groups.M. Giraudet, G. Leloup & F. Lucas - 2018 - Annals of Pure and Applied Logic 169 (9):896-927.
Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
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.
Arithmetic of Dedekind cuts of ordered Abelian groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.

Analytics

Added to PP
2016-06-30

Downloads
24 (#645,203)

6 months
17 (#203,841)

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