Mostra el registre d'ítem simple
The hidden structural rules of the discontinuous Lambek calculus
dc.contributor.author | Valentín Fernández Gallart, José Oriol |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2014-08-28T10:26:00Z |
dc.date.created | 2014 |
dc.date.issued | 2014 |
dc.identifier.citation | 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.issn | 0302-9743 |
dc.identifier.uri | http://hdl.handle.net/2117/23689 |
dc.description | 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.format.extent | 19 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística |
dc.subject.lcsh | Discontinuous Lambek calculus |
dc.title | The hidden structural rules of the discontinuous Lambek calculus |
dc.type | Part of book or chapter of book |
dc.subject.lemac | Lambek, Joachim -- Homenatges |
dc.identifier.doi | 10.1007/978-3-642-54789-8_23 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_23 |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 14899557 |
dc.description.version | Postprint (published version) |
dc.date.lift | 10000-01-01 |
local.citation.author | Valentin Fernandez, J. |
local.citation.publicationName | Lecture notes in computer science |
local.citation.volume | 8222 |
local.citation.startingPage | 402 |
local.citation.endingPage | 420 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Capítols de llibre [86]