#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2005

2017

- This year (0)
- Last 5 years (6)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Gilda Ferreira, Paulo Oliva
- CL&C
- 2010

Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translationsâ€¦ (More)

- Fernando Ferreira, Gilda Ferreira
- Math. Log. Q.
- 2006

Suppose that it is possible to integrate real functions over a weak base theory related to polynomial time computability. Does it follow that we can count? The answer seems to be: viouslyyes! We tryâ€¦ (More)

- Gilda Ferreira, Paulo Oliva
- Math. Log. Q.
- 2010

We present a refinement of the bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezemâ€™s notion ofâ€¦ (More)

- Fernando Ferreira, Gilda Ferreira
- Arch. Math. Log.
- 2008

- Fernando Ferreira, Gilda Ferreira
- J. Symb. Log.
- 2013

It has been known for six years that the restriction of Girardâ€™s polymorphic system F to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. Weâ€¦ (More)

- Fernando Ferreira, Gilda Ferreira
- J. UCS
- 2008

Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce successively strongerâ€¦ (More)

- Gilda Ferreira, Paulo Oliva
- Logical Methods in Computer Science
- 2009

We present three di fferent functional interpretations of intuitionistic linear logicand show how these correspond to well-known functional interpretat ions of intuitionistic logic via embeddings ofâ€¦ (More)

- Gilda Ferreira
- Logic Journal of the IGPL
- 2017

It is known that the Î²-conversions of the full intuitionistic propositional calculus (IPC) translate into Î²Î·-conversions of the atomic polymorphic calculus Fat. Since Fat enjoys the property ofâ€¦ (More)

- Rodrigo Lopes da Silva, Patricia Fernandes Avila Ribeiro, +15 authors Aida Botelho de Sousa
- Clinical Medicine Insights. Oncology
- 2010

BACKGROUND
Invasive aspergillosis (IA) is a major cause of morbidity and mortality in profoundly neutropenic patients, so early diagnosis is mandatory.
AIM
Consecutive patients with hematologicalâ€¦ (More)

- Fernando Ferreira, Gilda Ferreira
- Bulletin of Symbolic Logic
- 2013

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side,â€¦ (More)