13 citations · 26 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014★ 2 cited
On Pocrims and Hoops
Rob Arthan, Paulo Oliva
Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special cla…
cs.LO2014★ 1 cited
On Affine Logic and Łukasiewicz Logic
Rob Arthan, Paulo Oliva
The multi-valued logic of Łukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the ax…