作者：admin    文章来源：本站原创    点击数：    更新时间：2012-3-31

An Introduction to Proof-Nets

主讲人：V. M. Abrusci （意大利罗马第三大学）

内容与时间安排：
4月5日（周四）15:00-17:00
Preliminaries: the role of structural rules in logic

4月6日（周五）15:00-17:00
Preliminaries: the presentations of logical proofs

4月8日（周日）15:00-17:00
Proof-Nets, non-commutative Proof-Nets: basic definitions

4月10日（周二）9:30-11:30
Syllogisms represented as (non-commutative) Proof-Nets

4月12日（周四）15:00-17:00
(Non-commutative) Proof-nets: a survey of results and applications.

4月13日（周五）15:00-17:00
(Non-commutative) Proof- nets: research perspectives and philosophical
questions.

地点：文科楼307
主办单位：逻辑与认知研究所