The following pages link to Ordered groups with a conucleus (Q1035670):
Displaying 7 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
