2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
math.LO2010
Undecidabiliity for the additive AIA fragment of the theory of normed spaces
R. D. Arthan
An AIA formula is one of the form 'A implies B' where A and B are purely universal. Up to a simple reduction AIA formula are both EA and AE. In an earlier paper Solovay, Harrison a…