36 citations · 106 across the 22 of their papers we have counts for
1 paper · 2 filters
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…