The following pages link to Proof theory and ordered groups (Q1685913):
Displaying 6 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Recursion theory and ordered groups (Q1093630) (← links)
- Ordering groups and validity in lattice-ordered groups (Q2318348) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- Ordering groups constructively (Q5238136) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)