activity
20172024
most citedIn 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

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…