#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2009

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- LEONARDO CABRER
- 2009

An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order unit, i.e., an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. While every… (More)

- Leonardo Cabrer
- Notre Dame Journal of Formal Logic
- 2016

Syntactic unification theory is concerned with the problem of finding a substitution that equalises a finite set of pairs of terms simultaneously. More precisely, given a set of function symbols L and a finite set of pairs of L-terms U = {(t1, s1), . . . , (tm, sm)}, called a unification problem, a unifier for U is a substitution σ defined on the set of… (More)

- ‹
- 1
- ›