Personal information

Verified email addresses

Activities

Funding (1)

Proof Search in Natural Deduction

2023-01-01 to present | Grant
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

2022.11418.BD

Source: check_circle
CIÊNCIAVITAE

Works (2)

Partial Proof Terms in the Study of Idealized Proof Search

2024 | Book chapter
Contributors: José Espírito Santo; Ana Catarina Sousa
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Sistemas Dedutivos para Lógica Quântica Minimal

Universidade do Minho
2022-01-25 | Dissertation or Thesis
SOURCE-WORK-ID:

cv-prod-id-3092109

Source: check_circle
CIÊNCIAVITAE