Browsing by subject Sequent calculus

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 12 of 12.
Issue DateTitleAuthor(s)TypeAccess
2012Characterising strongly normalising intuitionistic termsEspírito Santo, José; Ivetic, J,; Likavec, SilviaArticleOpen access
2017Characterization of strong normalizability for a sequent lambda calculus with co-controlEspírito Santo, José; Ghilezan, SilviaConference paperOpen access
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Book partOpen access
1994Cut formulae and logic programmingPinto, Luís F.Conference paperOpen access
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArticleOpen access
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Book partOpen access
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyConference paperOpen access
2011Relating sequent calculi for bi-intuitionistic propositional logicPinto, Luís F.; Uustalu, TarmoConference paperOpen access
2000Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculiPinto, Luís F.; Dyckhoff, RoyArticleOpen access
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
2013Towards a canonical classical natural deduction systemEspírito Santo, JoséArticleOpen access