Generalising discontinuity

This paper makes two generalisations of categorial calculus of discontinuity. In the first we introduce unary modalities which mediate between continuous and discontinuous strings. In the second each of the modes of adjunction of the proposal to date, concatenation, juxtaposition and interpolation,...

Descripción completa

Detalles Bibliográficos
Autores: Morrill, Glyn|||0000-0002-5528-4384, Merenciano Saladrigas, Josep Maria
Tipo de recurso: informe técnico
Fecha de publicación:1996
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/100910
Acceso en línea:https://hdl.handle.net/2117/100910
Access Level:acceso abierto
Palabra clave:Calculus of discontinuity
Logic programming
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
id ES_bde92bab2d9e65e8f264c2c2b00a3fee
oai_identifier_str oai:upcommons.upc.edu:2117/100910
network_acronym_str ES
network_name_str España
repository_id_str
spelling Generalising discontinuityMorrill, Glyn|||0000-0002-5528-4384Merenciano Saladrigas, Josep MariaCalculus of discontinuityLogic programmingÀrees temàtiques de la UPC::Informàtica::Informàtica teòricaThis paper makes two generalisations of categorial calculus of discontinuity. In the first we introduce unary modalities which mediate between continuous and discontinuous strings. In the second each of the modes of adjunction of the proposal to date, concatenation, juxtaposition and interpolation, are augmented with variants. Linguistic illustration and motivation is provided, and we show how adherence to a discipline of sorting renders the generalisations tractable within a particularly efficient logic programming paradigm.19961996-01-0120172017-02-13reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/100910reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1009102026-05-27T15:37:01Z
dc.title.none.fl_str_mv Generalising discontinuity
title Generalising discontinuity
spellingShingle Generalising discontinuity
Morrill, Glyn|||0000-0002-5528-4384
Calculus of discontinuity
Logic programming
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
title_short Generalising discontinuity
title_full Generalising discontinuity
title_fullStr Generalising discontinuity
title_full_unstemmed Generalising discontinuity
title_sort Generalising discontinuity
dc.creator.none.fl_str_mv Morrill, Glyn|||0000-0002-5528-4384
Merenciano Saladrigas, Josep Maria
author Morrill, Glyn|||0000-0002-5528-4384
author_facet Morrill, Glyn|||0000-0002-5528-4384
Merenciano Saladrigas, Josep Maria
author_role author
author2 Merenciano Saladrigas, Josep Maria
author2_role author
dc.subject.none.fl_str_mv Calculus of discontinuity
Logic programming
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
topic Calculus of discontinuity
Logic programming
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
description This paper makes two generalisations of categorial calculus of discontinuity. In the first we introduce unary modalities which mediate between continuous and discontinuous strings. In the second each of the modes of adjunction of the proposal to date, concatenation, juxtaposition and interpolation, are augmented with variants. Linguistic illustration and motivation is provided, and we show how adherence to a discipline of sorting renders the generalisations tractable within a particularly efficient logic programming paradigm.
publishDate 1996
dc.date.none.fl_str_mv 1996
1996-01-01
2017
2017-02-13
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/100910
url https://hdl.handle.net/2117/100910
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418241326055424
score 15.301603