Pages that link to "Item:Q287483"
From MaRDI portal
The following pages link to Proof theory for lattice-ordered groups (Q287483):
Displaying 7 items.
- Integrally closed residuated lattices (Q831226) (← links)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups (Q1064333) (← links)
- An alternative proof of distributivity in \(l\)-groups (Q1312269) (← links)
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again (Q2122219) (← links)
- Ordering groups and validity in lattice-ordered groups (Q2318348) (← links)
- Lattice-ordered groups in deduction (Q2702594) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)