一、报告题目

Nonclassical Logic and Computation: An introduction（非经典逻辑与计算性导论）

二、主讲人与主持人

主持人：梁飞

报告人：林哲

三、报告时间

12月5日（周四）19：00-21：00

四、报告地点

威廉希尔官方网站中心校区知新楼A座1408

五、主讲人简介

·– Phd of Mathematics, Adam Mickiewicz University, Poland.

·– Institute of Logic and Intelligence, Southwest University, Chongqing, China.

·– Email: pennyshaq@163.com

·– Research interest: Lambek Calculus, Linear Logic, Substructural logic, Proof theory, Logic and algebraic theory, Computation complexity and so on.

六、内容简介

The goal of this talk is to introduce you to computational thinking- using computational models to describe and reason about systems of nonclassi- cal logic. We begin by defining several formal logical languages, their syntax and semantics. Then we explain their corresponding inference mechanisms and com- putational models. Finally we discuss some computational complexity problems in nonclassical logics.