Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661621 | Annals of Pure and Applied Logic | 2016 | 18 Pages |
Abstract
Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Nikolaos Galatos, George Metcalfe,