2 citations · 4 across the 4 of their papers we have counts for
Showing math.LOShow 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…
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…