The hidden structural rules of the discontinuous Lambek calculus

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/23689

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.date	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.citation	0302-9743
dc.identifier.citation	10.1007/978-3-642-54789-8_23
dc.identifier.uri	http://hdl.handle.net/2117/23689
dc.language.iso	eng
dc.relation	http://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_23
dc.rights	info:eu-repo/semantics/openAccess
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	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/bookPart
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

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Spurious ambiguity and focalization

Morrill, Glyn; Valentín Fernández Gallart, José Oriol

A count invariant for Lambek calculus with additives and bracket modalities

Valentín Fernández Gallart, José Oriol; Serret, Daniel; Morrill, Glyn

Multiplicative-additive focusing for parsing as deduction

Morrill, Glyn; Valentín Fernández Gallart, José Oriol

Computational coverage of TLG: nonlinearity

Morrill, Glyn; Valentín Fernández Gallart, José Oriol

Computational coverage of TLG: displacement

Morrill, Glyn; Valentín Fernández Gallart, José Oriol

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio