JOSE CARLOS SOARES DO ESPIRITO SANTO

Associate Professor

University of Minho

jes@math.uminho.pt
(+351) 253604362
.
ORCID Ciência ID Scopus

Publications

A coinductive approach to proof search through typed lambda-calculi

Annals of Pure and Applied Logic | 2021

R. Matthes

DOI

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

Leibniz International Proceedings in Informatics, LIPIcs | 2021

R. Matthes

DOI

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL | 2021

Gilda Ferreira

DOI

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Studia Logica | 2020

Gilda Ferreira

DOI

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

arXiv | 2020

R. Matthes