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