Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
1
TITLE: Herbrandized modified realizability
AUTHORS: Ferreira, Gilda; Firmino, Paulo;
PUBLISHED: 2024, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, ISSUE: 5-6
AUTHORS: Ferreira, Gilda; Firmino, Paulo;
PUBLISHED: 2024, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, ISSUE: 5-6
2
TITLE: The Russell-Prawitz embedding and the atomization of universal instantiation
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 5
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 5
3
TITLE: TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM
AUTHORS: Protin, M. Clarence; Ferreira, Gilda;
PUBLISHED: 2021, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
AUTHORS: Protin, M. Clarence; Ferreira, Gilda;
PUBLISHED: 2021, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
4
TITLE: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
AUTHORS: Santo, JE; Ferreira, G;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
5
TITLE: The computational content of atomic polymorphism
AUTHORS: Ferreira, G; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 5
AUTHORS: Ferreira, G; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 5
6
TITLE: Atomic polymorphism and the existence property
AUTHORS: Ferreira, G;
PUBLISHED: 2018, SOURCE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, ISSUE: 12
AUTHORS: Ferreira, G;
PUBLISHED: 2018, SOURCE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, ISSUE: 12
7
TITLE: eta-conversions of IPC implemented in atomic F
AUTHORS: Ferreira, G;
PUBLISHED: 2017, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, ISSUE: 2
AUTHORS: Ferreira, G;
PUBLISHED: 2017, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, ISSUE: 2
8
TITLE: A herbrandized functional interpretation of classical first-order logic Full Text
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic, VOLUME: 56, ISSUE: 5-6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic, VOLUME: 56, ISSUE: 5-6
9
TITLE: Rasiowa–Harrop Disjunction Property
AUTHORS: Gilda Ferreira;
PUBLISHED: 2017, SOURCE: Studia Logica, VOLUME: 105, ISSUE: 3
AUTHORS: Gilda Ferreira;
PUBLISHED: 2017, SOURCE: Studia Logica, VOLUME: 105, ISSUE: 3
10
TITLE: INSTANTIATION OVERFLOW
AUTHORS: Bruno Dinis; Gilda Ferreira;
PUBLISHED: 2016, SOURCE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, ISSUE: 51
AUTHORS: Bruno Dinis; Gilda Ferreira;
PUBLISHED: 2016, SOURCE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, ISSUE: 51
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID