Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



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

footer slogan

Useful Links

Get Help

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