Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



51
TITLE: Bounded modified realizability
AUTHORS: Ferreira, F ; Nunes, A;
PUBLISHED: 2006, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 71, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: Comments on predicative logic (Propositional logic)  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 2006, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 35, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
53
TITLE: Counting as integration in feasible analysis  Full Text
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2006, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 52, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: A simple proof of Parsons' theorem
AUTHORS: Ferreira, F ;
PUBLISHED: 2005, SOURCE: Notre Dame Journal of Formal Logic, VOLUME: 46, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
55
TITLE: Amending Frege's Grundgesetze der Arithmetik - To the memory of Nhe (1925-2001)  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 2005, SOURCE: SYNTHESE, VOLUME: 147, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
56
TITLE: Amending Frege’s Grundgesetze der Arithmetik  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2005, SOURCE: Synthese, VOLUME: 147, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Bounded functional interpretation  Full Text
AUTHORS: Ferreira, F ; Oliva, P;
PUBLISHED: 2005, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 135, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: Comments on Predicative Logic  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2005, SOURCE: J Philos Logic - Journal of Philosophical Logic, VOLUME: 35, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: Groundwork for weak analysis
AUTHORS: Fernandes, AM ; Ferreira, F ;
PUBLISHED: 2002, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze  Full Text
AUTHORS: Fernando Ferreira ; Kai F Wehmeier;
PUBLISHED: 2002, SOURCE: Journal of Philosophical Logic, VOLUME: 31, ISSUE: 4
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 6 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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