IRIS

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.

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

Claudia Casadio
;
2021-01-01

Abstract

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.
2021
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Claudia Casadio, Philip J. Scott
Inglese
STAMPA
1
37
37
978-3-030-66544-9
Springer - International Publisher
Heidelberg
GERMANIA
The paper is part of a volume dedicated to the mathematician Joachim Lambek, published into the Springer series "Outstanding Contributions to Logic"; the series puts focus on important advances in modern logical research. Each volume is devoted to a major contribution by an eminent logician. The series will cover contributions to logic broadly conceived, including philosophical and mathematical logic, logic in computer science, and the application of logic in linguistics, economics, psychology, and other specialized areas of study.
Logic, language, computation, syntactic learning and decision, categorial grammars
https://link.springer.com/chapter/10.1007/978-3-030-66545-6_1
2-s2.0-85103038073
no
2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
2
268
reserved
Casadio, Claudia; Michele Abrusci, V.
info:eu-repo/semantics/bookPart
File in questo prodotto:
File Dimensione Formato  
casadio_final.pdf

Solo gestori archivio

Descrizione: Articolo in preprint
Tipologia: Documento in Pre-print
Dimensione 329.94 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
329.94 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/751941
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact