Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

58.769 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Reports de recerca
  • View Item
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Reports de recerca
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Geometry of language

Thumbnail
View/Open
geometry_of_language.pdf (138,8Kb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/83704

Show full item record
Morrill, GlynMés informacióMés informacióMés informació
Document typeResearch report
Defense date1997-10
Rights accessOpen 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
Abstract
Girard (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).
CitationMorrill, G. "Geometry of language". 1997. 
Is part ofLSI-97-45-R
URIhttp://hdl.handle.net/2117/83704
Collections
  • Departament de Ciències de la Computació - Reports de recerca [1.106]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
geometry_of_language.pdf138,8KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina