José Carlos Soares do Espírito Santo

Associate Professor

University of Minho

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

Publications

Permutative conversions in intuitionistic multiary sequent calculi with cuts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003

L. Pinto

Permutative conversions in intuitionistic multiary sequent calculi with cuts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003

DOI

An isomorphism between a fragment of sequent calculus and an extension of natural deduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002

DOI

Revisiting the correspondence between cut elimination and normalisation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2000

DOI

An isomorphism between a fragment of sequent calculus and an extension of natural deduction

Lecture Notes in Computer Science, vol. 2514 |