7 citations · 9 across the 7 of their papers we have counts for
1 paper · 1 filter
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…