안녕하세요. 서울대학교 수리과학부 10-10프로젝트 사업단에서는
University of Bern의 George Metcalfe 교수님을 모시고 10-10 Special Lectures in Logic을 개최합니다.
여러 학생들과 대중들이 수학에 대하여 토론할 수 있는 지식 공유의 장으로
여러분의 많은 관심과 참여 바랍니다. 감사합니다.
■일시: 2024년 1월 23일(화) 16:00~18:00(QnA포함), 1월 25일(목) 16:00~18:00(QnA포함)
■장소: ZOOM(Meeting ID: 976 2795 1662 / Passcode: 489146),
■연사: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)
■강연정보:
2024년 1월 23일(화) 16:00~18:00(QnA포함)
Title: Ordered Algebras and Logic
Abstract: Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a crucial role in logic, although perhaps only in recent years has the significance of the relationship between the two fields been fully recognized and exploited. In the first part of this talk, I will briefly trace the distinct historical roots of ordered algebras and logic, culminating with the theory of algebraizable logics, that demonstrates the complementary nature of the two fields. In the second part, I will explain and illustrate the usefulness of this theory for both logic and algebra in the setting of substructural logics and residuated lattices
2024년 1월 25일(목) 16:00~18:00(QnA포함)
Title: Bridges between Algebra and Logic
Abstract: Bridges between algebra and logic allow the methods and results of one field to be imported to the other and have been used with great success to establish logical properties such as decidability, interpolation, and admissibility of rules, as well as algebraic properties such as amalgamation, coherence, and generation by subclasses. In the first part of this talk, I will explain how to build these bridges using a correspondence between equational consequence in a class of algebras and congruences on the free algebras of the class. In the second part, I will describe bridges relating interpolation and amalgamation properties, and their applications in the setting of substructural logics and residuatedlattices.