dc.contributor
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.author
Valentín Fernández Gallart, José Oriol
dc.identifier
Valentin Fernandez, J. The hidden structural rules of the discontinuous Lambek calculus. "Lecture notes in computer science", 2014, vol. 8222, p. 402-420.
dc.identifier
https://hdl.handle.net/2117/23689
dc.identifier
10.1007/978-3-642-54789-8_23
dc.description.abstract
Capítol de llibre d'homenatge "Categories and Types in Logic, Language, and Physics. Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday"
dc.description.abstract
The sequent calculus sL for the Lambek calculus L ([2]) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper proves that the sequent calculus or hypersequent calculus hD of the discontinuous Lambek calculus ([7], [4] and [8]), which like sL has no structural rules, is also equivalent to an ¿-sorted multimodal calculus mD. More concretely, we present a faithful embedding translation (·)# between mD and hD in such a way that it can be said that hD absorbs the structural rules of mD.
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (published version)
dc.format
application/pdf
dc.relation
http://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_23
dc.rights
Restricted access - publisher's policy
dc.subject
Àrees temàtiques de la UPC::Matemàtiques i estadística
dc.subject
Discontinuous Lambek calculus
dc.subject
Lambek, Joachim -- Homenatges
dc.title
The hidden structural rules of the discontinuous Lambek calculus
dc.type
Part of book or chapter of book
