컨텐츠 시작
학술대회/행사
Math Events
| 행사일정 보기 | |
|---|---|
| 행사분류 | 국내 |
| 행사종류 | 강연회 |
| 행사명 | SNU 10-10 Special Lectures in Logic |
| 행사일자 | 2024-01-25 |
| 장소 | online |
| 첨부파일 | 10_10_Special_Lectures_in_Logic_포스터(1).pdf |
| 내용 | ■일시: 1월 25일(목) 16:00~18:00(QnA포함)
■장소: ZOOM(Meeting ID: 976 2795 1662 / Passcode: 489146), https://snu-ac-kr.zoom.us/j/97627951662?pwd=blBsUk1jckt1ekgremFFRHFVM2R5Zz09
■연사: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)
■강연정보: 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.
|
