Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
21
TITLE: On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
AUTHORS: Ferreira, F;
PUBLISHED: 2017, SOURCE: Outstanding Contributions to Logic, VOLUME: 13
AUTHORS: Ferreira, F;
PUBLISHED: 2017, SOURCE: Outstanding Contributions to Logic, VOLUME: 13
22
TITLE: Categoricity and Mathematical Knowledge
AUTHORS: Fernando Ferreira;
PUBLISHED: 2017, SOURCE: Revista Portuguesa de Filosofia, VOLUME: 73, ISSUE: 3-4
AUTHORS: Fernando Ferreira;
PUBLISHED: 2017, SOURCE: Revista Portuguesa de Filosofia, VOLUME: 73, ISSUE: 3-4
23
TITLE: Basic applications of weak König's lemma in feasible analysis
AUTHORS: António M Fernandes; Fernando Ferreira;
PUBLISHED: 2017, SOURCE: Reverse Mathematics 2001
AUTHORS: António M Fernandes; Fernando Ferreira;
PUBLISHED: 2017, SOURCE: Reverse Mathematics 2001
24
TITLE: The Euler-Galerkin finite element method for a nonlocal coupled system of reaction-diffusion type
AUTHORS: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
AUTHORS: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
25
TITLE: A reaction-diffusion model for the non-local coupled system: existence, uniqueness, long-time behaviour and localization properties of solutions
AUTHORS: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, ISSUE: 2
AUTHORS: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, ISSUE: 2
26
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
27
TITLE: The Finitistic Consistency of Heck's Predicative Fregean System
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID28
TITLE: Nonstandardness and the bounded functional interpretation Full Text
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
29
TITLE: The Faithfulness of F<inf>at</inf>: A Proof-Theoretic Proof Full Text
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
30
TITLE: Palaeoecological insights on Toarcian and lower Aalenian calcareous nannofossils from the Lusitanian Basin (Portugal) Full Text
AUTHORS: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLISHED: 2015, SOURCE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436
AUTHORS: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLISHED: 2015, SOURCE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436
