Proof-nets and laws of Categorial Grammar

Link identifier archive #link-archive-thumb-soap-45655
Proof-nets and laws of Categorial Grammar
Venerdì 12 giugno 2020 alle ore 15:00, il prof. Michele Abrusci dell'Università degli Studi Roma Tre, presenterà il seminario di Logica e Informatica Teorica dal titolo "Proof-nets and laws of Categorial Grammar".
 
Abstract
 
I present a geometrical analysis – i.e. by means of proof nets of the multiplicative fragment of Cyclic Linear Logic - of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus: Residuation laws, Monotonicity laws, Application laws, Expansion laws, Type-raising laws, Composition laws, Geach laws and Switching laws. This geometrical analysis leads to better understand these laws, and to discover some laws have a common geometrical representation (the proofs of Application laws, Expansion Laws and Type-reasing laws are represented by proof-nets with two axiom links, whereas the proofs of Composition laws, Geach laws and Switching laws are represented by proof-nets with three axiom links). The talk is based on a joint work with Claudia Casadio.

Per partecipare al seminario, richiedere il link all’indirizzo email Link identifier #identifier__10482-1vitomichele.abrusci@uniroma3.it o cliccare sul seguente link Link identifier #identifier__165876-2Teams meeting
Link identifier #identifier__10882-1Link identifier #identifier__126101-2Link identifier #identifier__111849-3Link identifier #identifier__158842-4

This post is also available in: Link identifier #identifier__125942-5enEng