林哲报告:Introduction to Proof Net

发布时间:2013-11-11 来源:本站原创 作者:本站编辑   浏览次数:

中山大学逻辑与认知研究所林哲博士讲座



讲座题目:Introduction to Proof Net

时 间:2013年11月13日(周三 / 晚7点-9点)

地 点:西南大学逻辑与智能研究中心会议室(政治与公共管理学院 第三教学楼3203

摘 要:In proof theory, proof nets are a geometrical method of representing proofs that eliminates two forms of bureaucracy that differentiates proofs: (A) irrelevant syntactical features of regular proof calculi such as the natural deduction calculus and the sequent calculus, and (B) the order of rules applied in a derivation. In this way, the formal properties of proof identity correspond more closely to the intuitively desirable properties. Proof nets were introduced by Jean-Yves Girard.(来自维基百科


林哲博士简介:


林哲,中山大学哲学博士,师从鞠实儿教授;波兰Adam Mickiewicz University计算机科学博士,师从Wojciech Buszkowski教授。主要从事proof theory,  algebra and logic, logic and computation, categorial grammar等方面的研究。