Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



61
TÍTULO: On the consistency of the Δ1 1-CA fragment of Frege's Grundgesetze
AUTORES: Ferreira, F ; Wehmeier, K;
PUBLICAÇÃO: 2002, FONTE: Journal of Philosophical Logic, VOLUME: 31, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: A note on finiteness in the predicative foundations of arithmetic  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: On the Parmenidean Misconception
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1999, FONTE: History of Philosophy and Logical Analysis, VOLUME: 2, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
64
TÍTULO: Two general results on intuitionistic bounded theories  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1999, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 45, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: A Substitutional Framework for Arithmetical Validity
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1998, FONTE: Grazer Philosophische Studien, VOLUME: 56
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
66
TÍTULO: Extracting algorithms from intuitionistic proofs  Full Text
AUTORES: Ferreira, F ; Marques, A;
PUBLICAÇÃO: 1998, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: On end-extensions of models of -exp
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1996, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 42, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: What are the ∀∑1 b-consequences of T2 1 and T2 2?  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1995, FONTE: Annals of Pure and Applied Logic, VOLUME: 75, NÚMERO: 1-2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: What are the ∀∑1b-consequences of T21 and T22?  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1995, FONTE: Annals of Pure and Applied Logic, VOLUME: 75, NÚMERO: 1-2
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: A feasible theory for analysis
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 1994, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, NÚMERO: 03
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 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