Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



61
TITLE: On the consistency of the Δ1 1-CA fragment of Frege's Grundgesetze
AUTHORS: Ferreira, F ; Wehmeier, K;
PUBLISHED: 2002, SOURCE: Journal of Philosophical Logic, VOLUME: 31, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: A note on finiteness in the predicative foundations of arithmetic  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1999, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: On the Parmenidean Misconception
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1999, SOURCE: History of Philosophy and Logical Analysis, VOLUME: 2, ISSUE: 1
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
64
TITLE: Two general results on intuitionistic bounded theories  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1999, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 45, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
65
TITLE: A Substitutional Framework for Arithmetical Validity
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1998, SOURCE: Grazer Philosophische Studien, VOLUME: 56
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
66
TITLE: Extracting algorithms from intuitionistic proofs  Full Text
AUTHORS: Ferreira, F ; Marques, A;
PUBLISHED: 1998, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: On end-extensions of models of -exp
AUTHORS: Ferreira, F ;
PUBLISHED: 1996, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 42, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: What are the ∀∑1 b-consequences of T2 1 and T2 2?  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1995, SOURCE: Annals of Pure and Applied Logic, VOLUME: 75, ISSUE: 1-2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
69
TITLE: What are the ∀∑1b-consequences of T21 and T22?  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1995, SOURCE: Annals of Pure and Applied Logic, VOLUME: 75, ISSUE: 1-2
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
70
TITLE: A feasible theory for analysis
AUTHORS: Fernando Ferreira ;
PUBLISHED: 1994, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, ISSUE: 03
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service