×
Edit Profile (opens in new tab)

Ferreira, Gilda

Co-Author Distance
Author ID: ferreira.gilda Recent zbMATH articles by "Ferreira, Gilda"
Published as: Ferreira, Gilda; Ferreira, G.
Documents Indexed: 35 Publications since 2006, including 2 Additional arXiv Preprints
Reviewing Activity: 12 Reviews
Co-Authors: 11 Co-Authors with 27 Joint Publications
101 Co-Co-Authors
all top 5

Co-Authors

7 single-authored
11 Ferreira, Fernando
7 Oliva, Paulo
3 Espírito Santo, José Carlos
2 Fernandes, António Marques
1 Bianconi, Ricardo
1 Dinis, Bruno
1 Firmino, Paulo Renato Alves
1 Oitavem, Isabel
1 Protin, Clarence Lewis
1 Protin, M. Clarence
1 Valenzuela Hube, M.
1 Vasconcelos, Vasco Thudichum
all top 5

Serials

4 Studia Logica
3 Archive for Mathematical Logic
3 Logic Journal of the IGPL
3 Portugaliae Mathematica. Nova Série
2 Gazeta de Matemática (Lisboa)
2 Annals of Pure and Applied Logic
2 Mathematical Logic Quarterly (MLQ)
2 Logical Methods in Computer Science
1 The Journal of Symbolic Logic
1 Reports on Mathematical Logic
1 Bulletin of the Section of Logic
1 The Bulletin of Symbolic Logic
1 Journal of Universal Computer Science
1 Dynamical Systems
1 Proyecciones

Fields

32 Mathematical logic and foundations (03-XX)
3 Computer science (68-XX)
1 Measure and integration (28-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Statistics (62-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

21 Publications have been cited 82 times in 47 Documents Cited by ▼ Year ▼
On the relation between various negative translations. Zbl 1320.03087
Ferreira, Gilda; Oliva, Paulo
10
2012
Commuting conversions vs. the standard conversions of the “good” connectives. Zbl 1185.03081
Ferreira, Fernando; Ferreira, Gilda
10
2009
Atomic polymorphism. Zbl 1279.03035
Ferreira, Fernando; Ferreira, Gilda
9
2013
Interpretability in Robinson’s Q. Zbl 1325.03072
Ferreira, Fernando; Ferreira, Gilda
9
2013
A herbrandized functional interpretation of classical first-order logic. Zbl 1417.03290
Ferreira, Fernando; Ferreira, Gilda
7
2017
\(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091
Ferreira, Gilda
5
2017
Instantiation overflow. Zbl 1403.03119
Dinis, Bruno; Ferreira, Gilda
4
2016
On various negative translations. Zbl 1456.03089
Ferreira, Gilda; Oliva, Paulo
4
2011
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof. Zbl 1378.03038
Ferreira, Fernando; Ferreira, Gilda
3
2015
Rasiowa-Harrop disjunction property. Zbl 1417.03278
Ferreira, Gilda
3
2017
Functional interpretations of intuitionistic linear logic. Zbl 1193.03080
Ferreira, Gilda; Oliva, Paulo
3
2009
A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006
Espírito Santo, José; Ferreira, Gilda
2
2020
Functional interpretations of intuitionistic linear logic. Zbl 1227.03079
Ferreira, Gilda; Oliva, Paulo
2
2011
Harrington’s conservation theorem redone. Zbl 1160.03039
Ferreira, Fernando; Ferreira, Gilda
2
2008
Counting as integration in feasible analysis. Zbl 1095.03066
Ferreira, Fernando; Ferreira, Gilda
2
2006
Confined modified realizability. Zbl 1184.03056
Ferreira, Gilda; Oliva, Paulo
2
2010
The Riemann integral in weak systems of analysis. Zbl 1227.03075
Ferreira, F.; Ferreira, G.
2
2008
Analysis in weak systems. Zbl 1418.03174
Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda
1
2017
The asymptotically additive topological pressure: variational principle for non-compact and intersection of irregular sets. Zbl 1435.37031
Ferreira, G.
1
2019
The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031
Santo, José Espírito; Ferreira, Gilda
1
2021
An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA. Zbl 1124.03033
Ferreira, Gilda; Oitavem, Isabel
1
2006
The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031
Santo, José Espírito; Ferreira, Gilda
1
2021
A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006
Espírito Santo, José; Ferreira, Gilda
2
2020
The asymptotically additive topological pressure: variational principle for non-compact and intersection of irregular sets. Zbl 1435.37031
Ferreira, G.
1
2019
A herbrandized functional interpretation of classical first-order logic. Zbl 1417.03290
Ferreira, Fernando; Ferreira, Gilda
7
2017
\(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091
Ferreira, Gilda
5
2017
Rasiowa-Harrop disjunction property. Zbl 1417.03278
Ferreira, Gilda
3
2017
Analysis in weak systems. Zbl 1418.03174
Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda
1
2017
Instantiation overflow. Zbl 1403.03119
Dinis, Bruno; Ferreira, Gilda
4
2016
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof. Zbl 1378.03038
Ferreira, Fernando; Ferreira, Gilda
3
2015
Atomic polymorphism. Zbl 1279.03035
Ferreira, Fernando; Ferreira, Gilda
9
2013
Interpretability in Robinson’s Q. Zbl 1325.03072
Ferreira, Fernando; Ferreira, Gilda
9
2013
On the relation between various negative translations. Zbl 1320.03087
Ferreira, Gilda; Oliva, Paulo
10
2012
On various negative translations. Zbl 1456.03089
Ferreira, Gilda; Oliva, Paulo
4
2011
Functional interpretations of intuitionistic linear logic. Zbl 1227.03079
Ferreira, Gilda; Oliva, Paulo
2
2011
Confined modified realizability. Zbl 1184.03056
Ferreira, Gilda; Oliva, Paulo
2
2010
Commuting conversions vs. the standard conversions of the “good” connectives. Zbl 1185.03081
Ferreira, Fernando; Ferreira, Gilda
10
2009
Functional interpretations of intuitionistic linear logic. Zbl 1193.03080
Ferreira, Gilda; Oliva, Paulo
3
2009
Harrington’s conservation theorem redone. Zbl 1160.03039
Ferreira, Fernando; Ferreira, Gilda
2
2008
The Riemann integral in weak systems of analysis. Zbl 1227.03075
Ferreira, F.; Ferreira, G.
2
2008
Counting as integration in feasible analysis. Zbl 1095.03066
Ferreira, Fernando; Ferreira, Gilda
2
2006
An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA. Zbl 1124.03033
Ferreira, Gilda; Oitavem, Isabel
1
2006
all cited Publications top 5 cited Publications
all top 5

Cited by 48 Authors

11 Ferreira, Gilda
5 Ferreira, Fernando
4 Oliva, Paulo
3 Pistone, Paolo
3 Tranchini, Luca
2 Cheng, Yong
2 Damnjanovic, Zlatan
2 Maruyama, Yoshihiro
2 More, Anuj Kumar
2 Petrolo, Mattia
1 Afshari, Bahareh
1 Arthan, Rob D.
1 Banerjee, Mohua
1 Bazhenov, Nikolaĭ Alekseevich
1 Bianconi, Ricardo
1 Blaisdell, Eben
1 Cruz-Filipe, Luís
1 Dinis, Bruno
1 Espírito Santo, José Carlos
1 Fiori-Carones, Marta
1 Firmino, Paulo Renato Alves
1 Gaspar, Jaime
1 Guerrieri, Giulio
1 Hetzl, Stefan
1 Heylen, Jan
1 Kanovich, Max Iosifovich
1 Kuznetsov, Stepan L’vovich
1 Leigh, Graham Emil
1 Lin, Zhe
1 Litak, Tadeusz
1 Liu, Lu
1 Ma, Minghui
1 Melnikov, Alexander G.
1 Miquey, Étienne
1 Murwanashyaka, Juvenal
1 Naibo, Alberto
1 Nicolai, Carlo
1 Niki, Satoru
1 Piazza, Mario
1 Pimentel, Elaine
1 Polzer, Miriam
1 Protin, M. Clarence
1 Rabenstein, Ulrich
1 Ščedrov, Andrej
1 Sipoş, Andrei
1 Tump, Lars Arthur
1 Uftring, Patrick
1 Van den Berg, Benno
all top 5

Cited in 14 Serials

9 Studia Logica
7 Annals of Pure and Applied Logic
5 The Journal of Symbolic Logic
3 The Bulletin of Symbolic Logic
3 Portugaliae Mathematica. Nova Série
2 Archive for Mathematical Logic
2 Mathematical Logic Quarterly (MLQ)
1 Notre Dame Journal of Formal Logic
1 Synthese
1 Bulletin of the Section of Logic
1 Journal of Logic, Language and Information
1 Erkenntnis
1 Logical Methods in Computer Science
1 The Review of Symbolic Logic
all top 5

Cited in 6 Fields

46 Mathematical logic and foundations (03-XX)
8 Computer science (68-XX)
3 Category theory; homological algebra (18-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
1 General and overarching topics; collections (00-XX)
1 Sequences, series, summability (40-XX)

Citations by Year