36 citations · 106 across the 22 of their papers we have counts for
3 papers · 1 filter
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…
Roger Apéry: humour at the service of a free and original thinking on constructive mathematics
Henri Lombardi, Stefan Neuwirth
This article is an invitation to read a famous text of Roger Ap{é}ry, "Math{é}matique constructive", published in the book "Penser les math{é}matiques: s{é}minaire de philosophie e…
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…