Proof Theory for Lattice-ordered Groups

Publication Date

4-20-2016

Document Type

Article

Organizational Units

College of Natural Science and Mathematics, Mathematics

Keywords

Lattice-ordered groups, Proof theory, Hypersequent calculi, Cut elimination, Co-NP completeness

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.

Publication Statement

Copyright held by author or publisher. User is responsible for all copyright compliance.

This document is currently not available here.

Share

COinS