Theory of Discontinuous Lambek Calculus
Oriol Valentín · Dipòsit Digital de Documents de la UAB (Universitat Autònoma de Barcelona) · 2013
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