4 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Rob Arthan, Paulo Oliva
Büchi and Owen studied algebraic structures called hoops. Hoops provide a natural algebraic semantics for a class of substructural logics that we think of as intuitionistic analogu…