36 citations · 106 across the 22 of their papers we have counts for
4 papers · 1 filter
Constructive theory of ordinals
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
In Chapter 3 of his Notes on constructive mathematics, Martin-L{ö}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable…
Regular entailment relations
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure…
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…
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…