8 citations · 36 across the 24 of their papers we have counts for
Showing 2012 · math.LOShow all
3 papers · 2 filters
math.LO2012★ 2 cited
Hoops, Coops and the Algebraic Semantics of Continuous Logic
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…
math.LO2012
A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions
Paulo Oliva, Thomas Powell
We use Gödel's Dialectica interpretation to produce a computational version of the well known proof of Ramsey's theorem by Erdős and Rado. Our proof makes use of the product of sel…
math.LO2012★ 1 cited
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
Paulo Oliva, Thomas Powell
It has been shown that a functional interpretation of proofs in mathematical analysis can be given by the product of selection functions, a mode of recursion that has an intuitive…