3 papers
cs.LO2026
Uniform Realizability Interpretations
Ulrich Berger, Paulo Oliva
This work introduces a novel framework of uniform realizability that unifies and generalizes various realizability interpretations of logic, particularly focussing on the treatment…
math.LO2025
On the Various Translations between Classical, Intuitionistic and Linear Logic
Gilda Ferreira, Paulo Oliva, Clarence Lewis Protin
Several different proof translations exist between classical and intuitionistic logic (negative translations), and intuitionistic and linear logic (Girard translations). Our aims i…
math.LO2025
The Uniform Functional Interpretation with Informative Types
Fernando Ferreira, Paulo Oliva
We discuss a new approach to functional interpretations based on uniform quantification and relativization. The uniform quantification in the background permits a more penetrating…