13 citations · 26 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…