Proof nets without links for Lambek calculus and partially commutative linear logic
Idioma
en
Communication dans un congrès
Este ítem está publicado en
50 years of the Syntactic calculus, 2008-07-11, Chieti.
Resumen en inglés
Proof nets wothout links turn algebraic properties of the connectives like assocativity into proof equality. We recall similar results for multiplicative linear logic and for Lambek syntactic calculus before providing an ...Leer más >