Seminari del Dipartimento

 Logica e Informatica TeoricaProof-nets and laws of Categorial GrammarMichele Abrusci12-06-2020 - 15:00modalità telematica 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 vitomichele.abrusci@uniroma3.it  o cliccare sul seguente link Teams meeting https://teams.microsoft.com/dl/launcher/launcher.html?url=%2f_%23%2fl%2fmeetup-join%2f19%3a388bb369590943489346c5edc8bb7b83%40thread.tacv2%2f1590755027850%3fcontext%3d%257B%2522Tid%2522%3a%2522ffb4df68-f464-458c-a546-00fb3af66f6a%2522%2c%2522Oid%2522%3a%252211647586-a255-4c31-b3ea-1a3032a3b0a8%2522%257D%26anon%3dtrue&type=meetup-join&deeplinkId=3f80bc31-ce90-4068-b613-3ffe9d9f4e3f&directDl=true&msLaunch=true&enableMobilePage=true&suppressPrompt=trueorg: PEDICINI Marco