The hidden structural rules of the discontinuous Lambek calculus
View/Open
Valenti.pdf (301,1Kb) (Restricted access)
Request copy
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/23689
Document typePart of book or chapter of book
Defense date2014
Rights accessRestricted access - publisher's policy
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.
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"
CitationValentin Fernandez, J. The hidden structural rules of the discontinuous Lambek calculus. "Lecture notes in computer science", 2014, vol. 8222, p. 402-420.
ISSN0302-9743
Publisher versionhttp://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_23
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
Valenti.pdf![]() | 301,1Kb | Restricted access |
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