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
-
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 AccessFile15 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
-
Numeral completeness of weak theories of arithmetic
Kahle, R., Oitavem, I. & Santos, P. G., 12 Dec 2023, (E-pub ahead of print) In: Journal Of Logic And Computation. 22 p.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 AccessFile21 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 AccessFile10 Downloads (Pure)
Prizes
-
Prémio de Lógica Amílcar Sernadas
Kahle, Reinhard (Recipient) & Santos, Paulo Guilherme Domingos Canha Moreira dos (Recipient), 2020
Prize: Prize (including medals and awards)