一、讲座题目
Some considerations of bi-intuitionistic logics
二、主讲人
Hiroakira Ono
三、主讲人简介
Hiroakira Ono is an emeritus professor of Japan Advanced Institute of Science and Technology (JAIST). After getting his phD at Kyoto University, he has been working at several universities/institutes in Japan, making contributions to non-classical logics via proof-theoretic and algebraic methods. He is also an author of books "Residuated Lattices: An Algebraic Glimpse at Substructural Logics" and "Proof theory and Algebra in Logic".
四、讲座简介
Bi-intuitionistic logic (BiInt) is intuitionistic logic extended with co-implication (<), which is a logical connective dual to the usual implication (→). In classical logic, since co-implication B < A is equivalent to B ∧ ¬A, introducing co-implication adds no substantial content. The main aim of my talk is to examine how the intuitionistic setting will be affected by the introduction of co-implication, by investigating the basic logical properties of BiInt extensions in comparison with those of intuitionistic logic extensions.
First, we will discuss the subject from syntactical aspects, which include sequent calculus formulations, (local) deduction theorems, and negative translation.
Next, we will focus on the distinctive symmetry properties peculiar to BiInt extensions.
五、主持人
小艾电竞-电竞游戏排行
哲学系 梁飞副教授
六、讲座时间
2025年9月22日（星期一）9：00——11：00
七、讲座地点
山东大学中心校区知新楼 A1618
