Paulo Guilherme Domingos Canha Moreira Santos


AuthID: R-00J-DDB

Confirmed Publications: 8



1
TITLE: A new perspective on completeness and finitist consistency
AUTHORS: Santos, Paulo Guilherme ; Sieg, Wilfried; Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION
INDEXED IN: WOS CrossRef Unpaywall
2
TITLE: Numeral completeness of weak theories of arithmetic
AUTHORS: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION
INDEXED IN: WOS
3
TITLE: k-Provability in PA  Full Text
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: LOGICA UNIVERSALIS, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
4
TITLE: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Diagonalization in Formal Mathematics
AUTHORS: Paulo Guilherme Santos ;
PUBLISHED: 2020, SOURCE: BestMasters
INDEXED IN: CrossRef: 1
IN MY: ORCID
6
7
TITLE: Endomorphisms of semigroups of order-preserving partial transformations  Full Text
AUTHORS: Vítor H. Fernandes ; Paulo G Santos ;
PUBLISHED: 2019, SOURCE: SEMIGROUP FORUM, VOLUME: 99, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
8
TITLE: Diagonalização, Paradoxos e o Teorema de Löb
AUTHORS: Paulo Guilherme Santos ; Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Revista Portuguesa de Filosofia, VOLUME: 73, ISSUE: 3-4
INDEXED IN: CrossRef
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

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