Browsing by author 1904

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 20 of 22.  next >
Issue DateTitleAuthor(s)TypeAccess
May-2011A calculus of multiary sequent termsEspírito Santo, José; Pinto, Luís F.ArticleOpen access
28-Aug-2013A coinductive approach to proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.Conference paperOpen access
2016Computação: "The unreasonable effectiveness of mathematics in the computer/natural sciences"Espírito Santo, José; Araújo, Cláudia Mendes; Forjaz, Maria Antónia, et al.Pedagogical publicationOpen access
2004Confluence and strong normalisation of the generalised multiary lambda-calculusEspírito Santo, José; Pinto, Luís F.Book partOpen access
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.Conference paperOpen access
1994Cut formulae and logic programmingPinto, Luís F.Conference paperOpen access
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyArticleOpen access
Apr-2016Iluminando as mentes: da observação à disseminação dos fenómenos científicosPinto, Luís F.Conference paperOpen access
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyConference paperOpen access
Apr-2005Model checking embedded systems with PROMELARibeiro, Óscar R.; Fernandes, João M.; Pinto, Luís F.Conference paperOpen access
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.ArticleOpen 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
2009Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequentsPinto, Luís F.; Uustalu, TarmoConference paperOpen access
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyConference paperOpen access
1-Feb-2018A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luís F.; Uustalu, TarmoArticleOpen 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 rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Conference paperOpen access