Tensorial logic in string diagrams

Giovedi' 10 marzo 2011 - Dr. Paul-André Melliès


Giovedi' 10 marzo 2011 alle ore 11.30 in sala riunioni VII piano il Dr. Paul-André Melliès (Laboratoire PPS - Université Paris 7) terra' il seminario dal titolo "Tensorial logic in string diagrams".

In this talk, I will describe how to resolve the schism between game semantics and linear logic by introducing a primitive logic of tensor and linear negation, called tensorial logic. I will then explain how to depict the proofs of tensorial logic as surfaces formulated in the 3-categorical language of string diagrams -- this offering a natural synthesis of interactive strategies and proof-nets.

Rif. int. M.E. Maietti

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X