The following pages link to Ordered groups with a conucleus (Q1035670):
Displayed 13 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)
- Minimal varieties of representable commutative residuated lattices (Q1935563) (← links)
- On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) (← links)
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454) (← links)
- A categorical equivalence for product algebras (Q2352457) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)