Proof theory for lattice-ordered groups

DOI10.1016/J.APAL.2016.04.004MaRDI QIDQ287483zbMATH OpenOpenAlexFDO

Authors Nikolaos Galatos, George Metcalfe

Publication date 20 May 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.04.004

zbMATH Keywords

proof theorycut eliminationco-NP completenesshypersequent calculilattice-ordered groups

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Ordered groups (06F15) Equational logic, Mal'tsev conditions (08B05) Word problems (aspects of algebraic structures) (08A50)

Recommendations

• Proof theory and ordered groups
• scientific article; zbMATH DE number 194985
• Lattice-ordered groups in deduction
• scientific article; zbMATH DE number 3904649
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• On reversing the order of a lattice ordered group
• Ordering groups and validity in lattice-ordered groups
• Model-completions for abelian lattice-ordered groups with finitely many disjoint elements
• Identities in ordered sets
• Varieties of lattice ordered groups

Cites work

• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 3601634 (Why is no real title available?)
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Analytic calculi for product logics
• Density elimination
• Generalized MV-algebras
• Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
• On the Computational Complexity of Algebra on Lattices
• Ordered groups with a conucleus
• Proof Theory for Casari's Comparative Logics
• Proof theory for fuzzy logics
• Proving termination with multiset orderings
• Pseudo MV-algebras are intervals in ℓ-groups
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Substructural fuzzy logics
• The Largest Proper Variety of Lattice Ordered Groups
• The complexity of the word problem for abelian l-groups
• The lattice-ordered group of automorphisms of an ordered set

Cited in

(11)

• An alternative proof of distributivity in \(l\)-groups
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• Integrally closed residuated lattices
• scientific article; zbMATH DE number 221383 (Why is no real title available?)
• Lattice-ordered groups in deduction
• Proof theory and ordered groups
• Asymptotic cyclic expansion and bridge groups of formal proofs
• Ordering groups and validity in lattice-ordered groups
• Proof systems for lattice theory
• From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
• Free lattices proof-theoretically

This page was built for publication: Proof theory for lattice-ordered groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287483)