36 citations · 106 across the 22 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017★ 1 cited
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Lorenzen's ``Algebraische und logistische Untersuchungen über freie Verbände'' appeared in 1951 in The Journal of Symbolic Logic. These ``Investigations'' have immediately been rec…
math.LO2017
Lattice-ordered groups generated by an ordered group and regular systems of ideals
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental rôle in logic (see Scott 1974) and in algebra (see Lo…