Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets

Autor:	V. Michele Abrusci, Claudia Casadio
Rok vydání:	2021
Předmět:	Computer Science::Logic in Computer Science Law Calculus medicine Representation (systemics) Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) medicine.disease Noncommutative geometry Linear logic Calculus (medicine) Mathematics
Zdroj:	Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ISBN: 9783030665449
Popis:	This work is devoted to the relations between Lambek’s Syntactic Calculus (LC) and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: (i) the geometrical representation of the laws of LC by means of proof-nets; (ii) the discovery - due to such a geometrical representation - of some laws of LC not yet considered; (iii) the discussion of possible linguistic uses of these new laws.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::031ba87885d1f74bc2424fedc55c1274 https://doi.org/10.1007/978-3-030-66545-6_1 Zobrazit plný text záznamu