Show simple item record

dc.contributor.authorValentín Fernández Gallart, José Oriol
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2014-08-28T10:26:00Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationValentin Fernandez, J. The hidden structural rules of the discontinuous Lambek calculus. "Lecture notes in computer science", 2014, vol. 8222, p. 402-420.
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/2117/23689
dc.descriptionCapí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.abstractThe 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.format.extent19 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística
dc.subject.lcshDiscontinuous Lambek calculus
dc.titleThe hidden structural rules of the discontinuous Lambek calculus
dc.typePart of book or chapter of book
dc.subject.lemacLambek, Joachim -- Homenatges
dc.identifier.doi10.1007/978-3-642-54789-8_23
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_23
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac14899557
dc.description.versionPostprint (published version)
dc.date.lift10000-01-01
local.citation.authorValentin Fernandez, J.
local.citation.publicationNameLecture notes in computer science
local.citation.volume8222
local.citation.startingPage402
local.citation.endingPage420


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder