events
2024.01.17 10:48

# [10-10 Special Lectures in Logic]

Views 148 Votes 0 Comment 0
Speaker: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)

Time: Jan 23 & Jan 25, 2024 04:00 PM (Seoul)

Place: Zoom (online only) Meeting ID: 976 2795 1662/Passcode: 489146  줌링크

- 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
- 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.

1. 08May
by

[SNU10-10] 2024년 제2회 가우스석학강연(연사: 백진호 교수)

2. 17Apr
by

Hyeong-Ohk Fest on Nonlinear PDEs, Collective Dynamics and Finance (In honor of Prof. Hyeong-Ohk Bae’s 60th Birthday)

3. 17Apr
by

[SNU10-10] 2024년 제2회 가우스초청강연(연사: Carlos Sing-Long)

4. 02Apr
by

2024년 제 1회 10-10가우스석학강연

5. 26Mar
by

Eleventh Bielefeld-SNU Joint Workshop in Mathematics

6. 07Mar
by

[10-10특별강연] AI시대의 바둑(정연우 프로기사)

7. 07Mar
by

Shih-Hsien Fest on Hyperbolic Conservation Laws and Kinetic Theory

8. No Image 05Mar
by

[SNU10-10수리] 3월 6일 세미나 안내(권가진 교수)

9. No Image 17Jan
by 김송이(산업수학센터)

[10-10 Special Lectures in Logic]

10. 12Jan
by

Intensive Lectures on Low-dimensional Topology

11. 02Jan
by

Collective Dynamics Days

12. 01Dec
by

제3회 10-10 가우스석학강연(신석우 교수)

13. 25Aug
by

[9월 학술행사]Distinguished Lecture on NIST PQC Standards

14. 04Aug
by

HYKE-Hwarang Day

15. 18Jul
by

10-10 Summer School on Mathematics of Deep Learning and AI

16. 02Feb
by

[가우스 석학 단기 강좌] Infinitely wide neural networks (연사 양홍석(KAIST))

17. 02Feb
by

[가우스 석학 단기 강좌] Introduction to random graphs, and thresholds (연사 박진영(NYU))

18. 20Oct
by

2022 허식교수 기념 심포지엄

19. 13Sep
by

1st Seoul-London Workshop on Mathematical Finance

20. 25Jul
by

허준이 교수 필즈상 수상기념 수학강연회