2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Daoud Clarke
We introduce Riesz Logic, whose models are abelian lattice ordered groups, which generalise Riesz spaces (vector lattices), and show soundness and completeness. Our motivation is t…