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. / 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.
| Identifer | oai:union.ndltd.org:TDX_UAB/oai:www.tdx.cat:10803/107970 |
| Date | 20 December 2012 |
| Creators | Valentín Gallart, Oriol |
| Contributors | Morrill, Glyn, Universitat Autònoma de Barcelona. Departament de Filologia Catalana |
| Publisher | Universitat Autònoma de Barcelona |
| Source Sets | Universitat Autònoma de Barcelona |
| Language | English |
| Detected Language | English |
| Type | info:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/publishedVersion |
| Format | 236 p., application/pdf |
| Source | TDX (Tesis Doctorals en Xarxa) |
| Rights | info:eu-repo/semantics/openAccess, 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. |
Page generated in 0.002 seconds