Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



41
TITLE: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTHORS: Patricia Engracia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
42
TITLE: The bounded functional interpretation of the double negation shift
AUTHORS: Engrácia Patrícia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 75, ISSUE: 02
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Commuting conversions vs. the standard conversions of the "good" connectives  Full Text
AUTHORS: Ferreira, F ; Ferreira, G ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 92, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: Injecting uniformities into Peano arithmetic  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2009, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 157, ISSUE: 2-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
45
46
TITLE: A most artistic package of a jumble of ideas (Kurt Godel)
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2008, SOURCE: DIALECTICA, VOLUME: 62, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: Harrington's conservation theorem redone  Full Text
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2008, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 47, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: The Co-ordination Principles: A Problem for Bilateralism  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 2008, SOURCE: MIND, VOLUME: 117, ISSUE: 468
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: The Riemann integral in weak systems of analysis
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2008, SOURCE: 4th International Conference on Computability and Complexity in Analysis in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Bounded functional interpretation and feasible analysis  Full Text
AUTHORS: Fernando Ferreira ; Paulo Oliva;
PUBLISHED: 2007, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 145, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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