Paulo Guilherme Santos

According to our database¹, Paulo Guilherme Santos authored at least 4 papers between 2019 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A new perspective on completeness and finitist consistency.

[BibT_eX]

[DOI]

J. Log. Comput., 2024

2021

k-Provability in $\hbox {PA}$.

[BibT_eX]

[DOI]

Logica Universalis, 2021

Variants of Kreisel's Conjecture on a New Notion of Provability.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2021

2019

A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems.

[BibT_eX]

[DOI]

CoRR, 2019