8 citations · 36 across the 24 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 1 cited
On the Herbrand Functional Interpretation
Paulo Oliva, Chuangjie Xu
We show that the types of the witnesses in the Herbrand functional interpretation can be simplified, avoiding the use of "sets of functionals" in the interpretation of implication…
cs.LO2019
Negative Translations for Affine and Lukasiewicz Logic
Rob Arthan, Paulo Oliva
We investigate four well-known negative translations of classical logic into intuitionistic logic within a substructural setting. We find that in affine logic the translation schem…
cs.LO2019
Studying Algebraic Structures using Prover9 and Mace4
Rob Arthan, Paulo Oliva
In this chapter we present a case study, drawn from our research work, on the application of a fully automated theorem prover together with an automatic counter-example generator i…