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: New Second Level Degree in Data Science - Second cycle degree - a. y. 2017/18 X