报告题目：Residuated lattices: An Introduction(剩余格理论简介)
报告人：Prof. Francesco Paoli（意大利卡利亚里大学教授）
报告时间：2015年11月2、6、9日13：30-14:30
报告地点：钱伟长楼202报告厅
欢迎有兴趣的师生前来聆听！
理学院
2015.10.28
报告内容简介：
These talks will mainly report the following：The beginnings of algebraic logic、Consequence relations、The Lindenbaum-Tarski algebraization process、Algebraizable logics、Residuated lattices (RLs) and FL algebras、The isomorphism between the lattices of congruences and convex normal subalgebras in RLs、Substructural logics、Gentzen calculi for substructural logics. Varieties of RLs are an equivalent algebraic semantics for substructural logics, and so on.
报告人简介：
Francesco Paoli is a full professor of logic at University of Cagliari. He is an associate Editor of the journals Studia Logica and Logica Universalis, a member of the editorial board of the online journal Logic and Philosophy of Science, a member of the steering committee of Italian Society for Logic and the Philosophy of Science (SILFS) , and a reviewer of many journals. His research interests are nonclassical logics, (substructural logics, quantum logics, many-valued logics)， abstract algebraic logic， universal algebra， foundations of quantum mechanics and quantum computation，philosophy of logic.
