[logic-ml] Dr. Paul-Andre Mellies Lecture at NII Logic Seminar

[Makoto Tatsuta]

	    Dr. Paul-Andre Mellies Lecture at NII Logic Seminar

Date: April 11, 2012, 13:30--15:30

Place: National Institute of Informatics, Room 1904 (19th floor)
場所: 国立情報学研究所 19階 1904室
    (半蔵門線,都営地下鉄三田線・新宿線 神保町駅または東西線 竹橋駅より徒歩5分)
    (地図 http://www.nii.ac.jp/introduce/access1-j.shtml)

Speaker: Dr. Paul-Andre Mellies (CNRS and Paris 7 Univ)

Title: Tensorial logic in string diagrams

Abstract: 
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.

問合せ先:
龍田 真 (国立情報学研究所)
e-mail: tatsuta at nii.ac.jp
http://research.nii.ac.jp/~tatsuta