Show simple item record

dc.contributor.authorMorrill, Glyn
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-03-02T12:51:16Z
dc.date.available2016-03-02T12:51:16Z
dc.date.issued1997-10
dc.identifier.citationMorrill, G. "Geometry of language". 1997.
dc.identifier.urihttp://hdl.handle.net/2117/83704
dc.description.abstractGirard (1987) introduced proof nets as a syntax of linear proofs which eliminates inessential rule ordering manifested by sequent calculus. Proof nets adapted to the Lambek calculus (Roorda 1991) fulfill a role in categorial grammar analogous to that of phrase structure trees in CFG so that categorial proof nets have a central part to play in computational syntax and semantics; in particular they allow a reinterpretation of the "problem" of spurious ambiguity as an opportunity for parallelism. This article aims to make three contributions: i) provide a tutorial overview of categorial proof nets, ii) apply and provide motivation for proof nets by showing how a partial execution eschews the need for semantic evaluation in language processing, and iii) analyse the intrinsic geometry of partially commutative proof nets for the kinds of discontinuity attested in language, offering proof nets for the in situ binder type-constructor Q(., ., .) of Moortgat (1991/6).
dc.format.extent43 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-97-45-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject.otherCategorial proof nets
dc.subject.otherLanguage processing
dc.titleGeometry of language
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac664078
dc.description.versionPostprint (published version)
local.citation.authorMorrill, G.


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