Gilda Ferreira

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 13

Top Topics

Intuitionistic Logic

Top Venues

Arch. Math. Log.

Publications

José Espírito Santo, Gilda Ferreira
How to avoid the commuting conversions of IPC. CoRR (2024)
Gilda Ferreira, Paulo Renato A. Firmino
Herbrandized modified realizability. Arch. Math. Log. 63 (5-6) (2024)
M. Clarence Protin, Gilda Ferreira
Typability and Type Inference in Atomic Polymorphism. Log. Methods Comput. Sci. 18 (3) (2022)
José Espírito Santo, Gilda Ferreira
The Russell-Prawitz embedding and the atomization of universal instantiation. Log. J. IGPL 29 (5) (2021)
M. Clarence Protin, Gilda Ferreira
Typability and Type Inference in Atomic Polymorphism. CoRR (2021)
José Espírito Santo, Gilda Ferreira
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. Stud Logica 108 (3) (2020)
Gilda Ferreira, Vasco T. Vasconcelos
The computational content of atomic polymorphism. Log. J. IGPL 27 (5) (2019)
Gilda Ferreira
Atomic polymorphism and the existence property. Ann. Pure Appl. Log. 169 (12) (2018)
Gilda Ferreira
Rasiowa-Harrop Disjunction Property. Stud Logica 105 (3) (2017)
Fernando Ferreira, Gilda Ferreira
A herbrandized functional interpretation of classical first-order logic. Arch. Math. Log. 56 (5-6) (2017)
Gilda Ferreira
η-conversions of IPC implemented in atomic F. Log. J. IGPL 25 (2) (2017)
Bruno Dinis, Gilda Ferreira
Instantiation overflow. Reports Math. Log. 51 (2016)
Fernando Ferreira, Gilda Ferreira
The Faithfulness of Fat: A Proof-Theoretic Proof. Stud Logica 103 (6) (2015)
Fernando Ferreira, Gilda Ferreira
Atomic polymorphism. J. Symb. Log. 78 (1) (2013)
Fernando Ferreira, Gilda Ferreira
Interpretability in Robinson's Q. Bull. Symb. Log. 19 (3) (2013)
Gilda Ferreira, Paulo Oliva
On bounded functional interpretations. Ann. Pure Appl. Log. 163 (8) (2012)
Gilda Ferreira, Paulo Oliva
Functional Interpretations of Intuitionistic Linear Logic Log. Methods Comput. Sci. 7 (1) (2011)
Gilda Ferreira, Paulo Oliva
Confined modified realizability. Math. Log. Q. 56 (1) (2010)
Gilda Ferreira, Paulo Oliva
On Various Negative Translations CL&C (2010)
Gilda Ferreira, Paulo Oliva
Functional Interpretations of Intuitionistic Linear Logic. CSL (2009)
Fernando Ferreira, Gilda Ferreira
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Stud Logica 92 (1) (2009)
Fernando Ferreira, Gilda Ferreira
The Riemann Integral in Weak Systems of Analysis. J. Univers. Comput. Sci. 14 (6) (2008)
Fernando Ferreira, Gilda Ferreira
Harrington's conservation theorem redone. Arch. Math. Log. 47 (2) (2008)
Fernando Ferreira, Gilda Ferreira
Counting as integration in feasible analysis. Math. Log. Q. 52 (3) (2006)