The following pages link to Ordered groups with a conucleus (Q1035670):
Displaying 20 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)
- Discretely ordered groups (Q1047632) (← 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)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← 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)
- Cancellative residuated lattices (Q2496161) (← links)
- From partially ordered monoids to partially ordered groups via free nuclear preimages (Q2675057) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- (Q3123496) (← links)
- Nilpotency and the Hamiltonian property for cancellative residuated lattices (Q5864698) (← links)
