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,...

Full description

Bibliographic Details
Authors: Morrill, Glyn|||0000-0002-5528-4384, Merenciano Saladrigas, Josep Maria
Format: report
Publication Date:1996
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/100910
Online Access:https://hdl.handle.net/2117/100910
Access Level:Open access
Keyword:Calculus of discontinuity
Logic programming
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Description
Summary: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.