Theory of Discontinuous Lambek Calculus
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,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Universitat Autònoma de Barcelona
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10803/107970 http://nbn-resolving.de/urn:isbn:9788449034299 |