9月17日逻辑讲座：从代数角度看非经典逻辑的典范性

内容简介：典范性问题是以模态逻辑为代表的非经典逻辑中的重要问题，与完全性证明有密切关系。这次报告将会从代数语义的角度，对两种典范性证明的方法进行比较，并推广一些已有的结果。

时间：9月17日周二下午15:30-18:00

地点：三教408