Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



11
TÍTULO: Zigzag and Fregean Arithmetic
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2018, FONTE: Logic, Epistemology, and the Unity of Science - The Philosophers and Mathematics
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: A herbrandized functional interpretation of classical first-order logic  Full Text
AUTORES: Ferreira, F ; Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: Archive for Mathematical Logic, VOLUME: 56, NÚMERO: 5-6
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: Basic applications of weak König's lemma in feasible analysis
AUTORES: António M Fernandes; Fernando Ferreira ;
PUBLICAÇÃO: 2017, FONTE: Reverse Mathematics 2001
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Categoricity and Mathematical Knowledge
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2017, FONTE: Revista Portuguesa de Filosofia, VOLUME: 73, NÚMERO: 3-4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Interpreting weak Knig's lemma in theories of nonstandard arithmetic  Full Text
AUTORES: Dinis, B; Ferreira, F ;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 63, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2017, FONTE: Outstanding Contributions to Logic, VOLUME: 13
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: An elementary proof of strong normalization for atomic F
AUTORES: Ferreira, F ; Ferreira, G;
PUBLICAÇÃO: 2016, FONTE: Bulletin of the Section of Logic, VOLUME: 45, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: Nonstandardness and the bounded functional interpretation  Full Text
AUTORES: Ferreira, F ; Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Spector’s proof of the consistency of analysis
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: The Faithfulness of F-at: A Proof-Theoretic Proof  Full Text
AUTORES: Ferreira, F ; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: STUDIA LOGICA, VOLUME: 103, NÚMERO: 6
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 de 8. Total de resultados: 75.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service