Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
1
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
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism Full Text
AUTHORS: Jose Espirito Santo; Gilda Ferreira;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
AUTHORS: Jose Espirito Santo; Gilda Ferreira;
PUBLISHED: 2020, SOURCE: STUDIA LOGICA, VOLUME: 108, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: The computational content of atomic polymorphism Full Text
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
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP5
TITLE: Atomic polymorphism and the existence property
AUTHORS: Gilda Ferreira;
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: Gilda Ferreira;
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
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: eta-conversions of IPC implemented in atomic F
AUTHORS: Gilda Ferreira;
PUBLISHED: 2017, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, ISSUE: 2
AUTHORS: Gilda Ferreira;
PUBLISHED: 2017, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: A herbrandized functional interpretation of classical first-order logic
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic
INDEXED IN: Scopus
Scopus8
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 WOS9
TITLE: An elementary proof of strong normalization for atomic F
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
INDEXED IN: Scopus
Scopus10
TITLE: INTERPRETABILITY IN ROBINSON'S Q
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
INDEXED IN: WOS 
CrossRef
WOS CrossRef