Paulo Guilherme Domingos Canha Moreira Santos


AuthID: R-00J-DDB

Publicações Confirmadas: 8



1
TÍTULO: A new perspective on completeness and finitist consistency
AUTORES: Santos, Paulo Guilherme ; Sieg, Wilfried; Reinhard Kahle ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
2
TÍTULO: Numeral completeness of weak theories of arithmetic
AUTORES: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGIC AND COMPUTATION
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
3
TÍTULO: k-Provability in PA  Full Text
AUTORES: Santos, PG ; Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: LOGICA UNIVERSALIS, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
NO MEU: ORCID
4
TÍTULO: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTORES: Santos, PG ; Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
5
TÍTULO: Diagonalization in Formal Mathematics
AUTORES: Paulo Guilherme Santos ;
PUBLICAÇÃO: 2020, FONTE: BestMasters
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
6
TÍTULO: A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems PDF
AUTORES: António Malheiro ; Paulo Guilherme Santos ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.09254
INDEXADO EM: DBLP arXiv
7
TÍTULO: Endomorphisms of semigroups of order-preserving partial transformations  Full Text
AUTORES: Vítor H. Fernandes ; Paulo G Santos ;
PUBLICAÇÃO: 2019, FONTE: SEMIGROUP FORUM, VOLUME: 99, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
8
TÍTULO: Diagonalização, Paradoxos e o Teorema de Löb
AUTORES: Paulo Guilherme Santos ; Reinhard Kahle ;
PUBLICAÇÃO: 2017, FONTE: Revista Portuguesa de Filosofia, VOLUME: 73, NÚMERO: 3-4
INDEXADO EM: CrossRef
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service