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: Lisbon young mathematicians conference 2023: book of abstracts
AUTHORS: Pedro Serranho; Fernanda Cipriano; Gilda Ferreira; Carlota Gonçalves; Grossinho, M. Rosário; Oliveira, M. Rosário; Maria d R Ramos;
PUBLISHED: 2023
AUTHORS: Pedro Serranho; Fernanda Cipriano; Gilda Ferreira; Carlota Gonçalves; Grossinho, M. Rosário; Oliveira, M. Rosário; Maria d R Ramos;
PUBLISHED: 2023
INDEXED IN: 
Handle
Handle3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
