BIBLIOS
Sistema de Gestão de Referências Bibliográficas de Ciências
Modo Visitante (
Login
)
Need help?
Referências para fjferreira
(44)
2024
On the Proof Theory of Modal Logics
(2024)
Costa, Maria Osório Oliveira
Ferreira, Fernando
Girlando, Marianna
Documentos Académicos
2024
On the Star Combinatory Calculus : formalization and applications to classical logic
(2024)
Malato, Lia
Ferreira, Fernando Jorge Inocêncio
Fonseca, Alcides Miguel Cachulo Aguiar
Documentos Académicos
2023
A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables
(2023)
João Enes
Fernando Ferreira
Artigos em Conferência
2022
Axiomatic Thinking I
(2022)
Fernando Ferreira
Reinhard Kahle
Giovanni Sommaruga
Livro
2022
Axiomatic Thinking II
(2022)
Fernando Ferreira
Reinhard Kahle
Giovanni Sommaruga
Livro
2022
Panel Discussion on the Foundations of Mathematics
(2022)
Fernando Ferreira
Capítulo em Livro
2021
Bar recursion with abstract types. A study on the bounded functional interpretation.
(2021)
João Mira da Silva
Fernando Ferreira
João Rasga
Documentos Académicos
2021
On false Heine/Borel compactness principles in proof mining
(2021)
Fernando Ferreira
Artigos em Conferência
2021
The abstract type of the real numbers
(2021)
Fernando Ferreira
Artigos em Revista
2021
Princípios de Teoria dos Conjuntos
(2021)
Fernando Ferreira
Livro
2020
Weak König’s lemma in herbrandized classical second-order arithmetic
(2020)
Fernando Ferreira
Artigos em Revista
2020
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach
(2020)
Fernando Ferreira
Artigos em Revista
2020
Bounded functional interpretation with an abstract type
(2020)
Fernando Ferreira
Patrícia Engrácia
Capítulo em Livro
2020
The FAN principle and weak König's lemma in herbrandized second-order arithmetic
(2020)
Fernando Ferreira
Artigos em Revista
2019
On the removal of weak compactness arguments in proof mining
(2019)
Fernando Ferreira
Laurentiu Leustean
Pedro Pinto
Artigos em Revista
2019
Hesitações na aritmética de Frege
(2019)
Fernando Ferreira
Capítulo em Livro
2019
O problema da decisão e a máquina universal de Turing
(2019)
Fernando Ferreira
Capítulo em Livro
2019
Proof mining with the bounded functional interpretation
(2019)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando Jorge Inocêncio
Documentos Académicos
2018
Zigzag and Fregean arithmetic
(2018)
Fernando Ferreira
Capítulo em Livro
2018
A lógica matemática como empreendimento fundamentador
(2018)
Fernando Ferreira
Documentos Académicos
2017
Categoricity and mathematical knowledge
(2017)
Fernando Ferreira
Artigos em Revista
2017
A herbrandized functional interpretation of classical first-order logic
(2017)
Fernando Ferreira
Gilda Ferreira
Artigos em Revista
2017
Interpreting weak König's lemma in theories of nonstandard arithmetic
(2017)
Bruno Dinis
Fernando Ferreira
Artigos em Revista
2017
On some semi-constructive theories related to Kripke–Platek set theory
(2017)
Fernando Ferreira
Capítulo em Livro
2017
Analysis in weak systems
(2017)
António Fernandes
Fernando Ferreira
Gilda Ferreira
Capítulo em Livro
2016
Elementary Proof of Strong Normalization for Atomic F
(2016)
Fernando Ferreira
Gilda Ferreira
Artigos em Revista
2015
The finitistic consistency of Heck's predicative Fregean system
(2015)
Cruz-Filipe, L.
Fernando Ferreira
Artigos em Revista
2015
Spector’s proof of the consistency of analysis
(2015)
Ferreira, F.
Artigos em Conferência
2015
Nonstandardness and the bounded functional interpretation
(2015)
Fernando Ferreira
Jaime Gaspar
Artigos em Revista
2015
The faithfulness of Fat: a proof-theoretic proof
(2015)
Fernando Ferreira
Gilda Ferreira
Artigos em Revista
2014
A new computation of the Sigma-ordinal of KPw
(2014)
Ferreira, Fernando
Artigos em Revista
2014
Unificação das interpretações funcionais : via lógica linear intuicionista
(2014)
Reis, Sílvia da Conceição Alexandre
Ferreira, Fernando
Ferreira, Gilda Maria Saraiva Dias
Documentos Académicos
2013
Um estudo sobre teorias de definições indutivas e admissibilidade
(2013)
Enes, João Filipe Pereira da Silva
Ferreira, Fernando
Documentos Académicos
2013
Teorema da estrutura de Furstenberg : demonstração e redução ao nivél ...
(2013)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando
Duarte, Pedro Miguel Nunes da Rosa Dias
Documentos Académicos
2009
Proof-theoretical studies on the bounded functional interpretation
(2009)
Engrácia, Patrícia da Conceição Martins
Ferreira, Fernando
Documentos Académicos
2007
Normalização de termos no cálculo dos combinadores
(2007)
Teixeira, Renata Maria Machado
Ferreira, Fernando
Documentos Académicos
2007
Em torno das interpretações funcionais da aritmética
(2007)
Gaspar, Jaime da Gama
Ferreira, Fernando
Documentos Académicos
2006
Sistema de análise fraca para a integração
(2006)
Ferreira, Gilda Maria Saraiva Dias
Ferreira, Fernando
Documentos Académicos
2004
O problema dos cardinais singulares
(2004)
Pereira, Luís Miguel da Silva
Ferreira, Fernando
Documentos Académicos
2002
Aritmética computavél em espaço polinomial
(2002)
Ferreira, Gilda Maria Saraiva Dias
Ferreira, Fernando
Documentos Académicos
2001
Investigações em sistemas de análise exequível
(2001)
Fernandes, António Marques
Ferreira, Fernando Jorge Inocêncio
Documentos Académicos
2001
Classes of computational complexity : implicit characterizations - a study in mantematical logic
(2001)
Rocha, Isabel Maria Oitavem Fonseca da
Ferreira, Fernando
Documentos Académicos
1995
Três assuntos de lógica e complexidade
(1995)
Rocha, Isabel Maria Oitavem Fonseca da
Ferreira, Fernando
Documentos Académicos
1993
O teorema de Morley, no contexto da teoria de classificação
(1993)
Fernandes, António Marques
Ferreira, Fernando
Documentos Académicos