Research output per year
Research output per year
Search results
-
2024
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 AccessFile13 Downloads (Pure) -
2023
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
-
2021
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 AccessFile19 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 AccessFile9 Downloads (Pure) -
2019
Endomorphisms of semigroups of order-preserving partial transformations
Fernandes, V. H. & Santos, P. G., 1 Oct 2019, In: Semigroup Forum. p. 1-12 12 p.Research output: Contribution to journal › Article › peer-review
File5 Citations (Scopus)197 Downloads (Pure) -
2017
Diagonalização, Paradoxos e o Teorema de Löb
Santos, P. G. & Kahle, R., 30 Dec 2017, In: Revista Portuguesa de Filosofia. 73, 3-4, p. 1169-1188Research output: Contribution to journal › Article › peer-review