Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



21
TITLE: The Faithfulness of F<inf>at</inf>: A Proof-Theoretic Proof  Full Text
AUTHORS: Ferreira, F ; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
22
TITLE: The Faithfulness of Fat: A Proof-Theoretic Proof
AUTHORS: Ferreira, F ; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: The Finitistic Consistency of Heck's Predicative Fregean System
AUTHORS: Luis Cruz Filipe; Fernando Ferreira ;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: The Finitistic Consistency of Heck’s Predicative Fregean System
AUTHORS: Luís Cruz-Filipe; Fernando Ferreira ;
PUBLISHED: 2015, SOURCE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, ISSUE: 1
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: A NEW COMPUTATION OF THE Sigma-ORDINAL OF KP omega
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2014, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 79, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
AUTHORS: FERNANDO FERREIRA ;
PUBLISHED: 2014, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 79, ISSUE: 01
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: Computability in Europe 2010
AUTHORS: Alessandra Carbone; Fernando Ferreira ; Benedikt Löwe; Elvira Mayordomo;
PUBLISHED: 2014, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 25, ISSUE: 4
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
28
TITLE: ATOMIC POLYMORPHISM
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 78, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: INTERPRETABILITY IN ROBINSON'S Q
AUTHORS: Fernando Ferreira ; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: Logicismo
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2013, SOURCE: Compêndio em Linha de Problemas de Filosofia Analítica
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
Page 3 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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