Theory of discontinuous Lambek calculus
Valentín, Oriol
Morrill, Glyn, dir.
Universitat Autònoma de Barcelona. Departament de Filologia Catalana

Imprint: [Bellaterra] : Universitat Autònoma de Barcelona, 2013
Description: 1 recurs electrònic (236 p.)
Abstract: Aquesta tesi s'emmarca dins del camp de la lingüística matemàtica, concretament en la branca de la gramàtica lògica de tipus, disciplina íntimament relacionada amb la teoria de la demostració. En aquest treball es proposa un càlcul o lògica substructural, anomenat càlcul discontinu de lambek, que intenta tractar amb èxit el problema de la discontinuïtat, que és un fenomen molt estès en totes les llengües naturals. Al llarg del llibre s'analitzen i es demostren diverses propietats del càlcul discontinu de Lambek, la qual cosa dóna fe de la seva bondat matemàtica. Finalment, mitjançant aquest càlcul estudiem en detall una sèrie de fenòmens lingüístics de naturalesa discontínua.
Abstract: This is a thesis in Mathematical Linguistics, namely in Proof Theory. Its main contribution is the conception of the Discontinuous Lambek calculus (D henceforth), an intuitionistic substructural logic. This calculus (or logic) tries to face the problem of discontinuity, which is pervasive in natural languages. In this work, several mathematical results on proof-theoretical aspects, soundness/completeness theorems and generative power are formulated and proved. This represents, we think, a remarkable achievement. Finally, the logic machinery developped through the book allows a study in depth of several discontinuous linguistic phenomena.
Note: Tesi doctoral - Universitat Autònoma de Barcelona. Departament de Filologia Catalana, 2012
Note: Bibliografia
Rights: ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Language: Anglès
Document: Tesi doctoral
Subject: Lingüística matemàtica
ISBN: 9788449034299

Adreça alternativa: https://hdl.handle.net/10803/107970


236 p, 1.3 MB

The record appears in these collections:
Research literature > UAB research groups literature > Research Centres and Groups (research output) > Arts and Humanities > Center for Theoretical Linguistics (CLT)
Research literature > Doctoral theses

 Record created 2013-07-22, last modified 2022-05-07



   Favorit i Compartir