Research output per year
Research output per year
Fingerprint
Dive into the research topics where Paulo Guilherme Domingos Canha Moreira dos Santos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Numeral completeness of weak theories of arithmetic
Kahle, R., Oitavem, I. & Santos, P. G., Jan 2025, In: Journal Of Logic And Computation. 22 p.Research output: Contribution to journal › Article › peer-review
-
Paradoxes, Intuitionism, and Proof-Theoretic Semantics
Kahle, R. & Santos, P. G., Feb 2024, Peter Schroeder-Heister on Proof-Theoretic Semantics. Piecha, T. & Wehmeier, K. F. (eds.). Cham: Springer, p. 363-374 12 p. (Outstanding Contributions to Logic; vol. 29).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open AccessFile1 Citation (Scopus)27 Downloads (Pure) -
A new perspective on completeness and finitist consistency
Santos, P. G., Sieg, W. & Kahle, R., 8 Jul 2023, In: Journal Of Logic And Computation. 20 p., exad021.Research output: Contribution to journal › Article › peer-review
-
k-Provability in PA
Santos, P. G. & Kahle, R., Dec 2021, In: Logica Universalis. 15, 4, p. 477-516Research output: Contribution to journal › Article › peer-review
Open AccessFile25 Downloads (Pure) -
VARIANTS of KREISEL'S CONJECTURE on A NEW NOTION of PROVABILITY
Santos, P. G. & Kahle, R., Dec 2021, In: Bulletin of Symbolic Logic. 27, 4, p. 337-350Research output: Contribution to journal › Article › peer-review
Open AccessFile33 Downloads (Pure)
Prizes
-
Prémio de Lógica Amílcar Sernadas
Kahle, R. (Recipient) & Santos, P. G. D. C. M. D. (Recipient), 2020
Prize: Prize (including medals and awards)