报告题目：
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.
