2024-03-28T21:55:02Zhttps://www.tdx.cat/oai/requestoai:www.tdx.cat:10803/1079702022-12-21T22:59:05Zcom_10803_120col_10803_146
Theory of Discontinuous Lambek Calculus
Valentín Gallart, Oriol
Morrill, Glyn
Lingüística matemàtica
Sintaxi
Semàntica
Lògica
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.
2013-03-05T14:00:18Z
2013-03-05T14:00:18Z
2013-03-05T14:00:18Z
2012-12-20
info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
9788449034299
http://hdl.handle.net/10803/107970
B-7889-2013
eng
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.
info:eu-repo/semantics/openAccess
Universitat Autònoma de Barcelona
TDX (Tesis Doctorals en Xarxa)