Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic" February 9–May 25, 2022, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
Classical propositional logic has a natural interpretation on Boolean algebras (the simplest of which contains only two elements, 0 and 1). For non-classical logics classes of algebraic models are more interesting, e.g., Heyting algebras, residuated lattices etc. Such interpretations allow reformulating properties of logical systems in algebraic terms, and, vice versa, using logical methods for studying algebraic structures. Algebraic logic is tightly connected to categorical logic. Thus, intuitionistic logic has a natural interpretation on Cartesian closed categories; similar interpretations exist for linear and other logics. The format of the seminar is a reading group: its participants, mostly students, give series of several talks based on articles or book chapters on the topics of interest of the seminar.
Please, address Stepan Kuznetsov, sk@mi-ras.ru, for Zoom data.
Financial support. The seminar is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2022-265).
Seminar organizers
Kuznetsov Stepan Lvovich
Shehtman Valentin Borisovich
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Steklov International Mathematical Center |
|
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic", February 9–May 25, 2022 |
|
|
June 15, 2022 (Wed) |
|
1. |
Semantics for intuitionistic logic Oleg Mkrtchyan June 15, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
June 1, 2022 (Wed) |
|
2. |
Non-commutative linear logic Diana Kalinichenko June 1, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
May 25, 2022 (Wed) |
|
3. |
Embedding of a free cartesian-closed category into the category of sets Danila Demin May 25, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
May 18, 2022 (Wed) |
|
4. |
Cartesian closed categories, logic, and lambda calculus Andrey Khranilov May 18, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
May 11, 2022 (Wed) |
|
5. |
Completely representable relation algebras Nadezhda Khoroshavkina May 11, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
May 4, 2022 (Wed) |
|
6. |
Gentzen-style systems for orthomodular quantum logic Konstantin Shishov May 4, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
April 27, 2022 (Wed) |
|
7. |
Generalized probabilistic theories and convex effect algebras V. I. Yashin April 27, 2022 18:30, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
April 20, 2022 (Wed) |
|
8. |
Quantum theory and quantum logics Alexander Grefenstejn April 20, 2022 18:30, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
April 13, 2022 (Wed) |
|
9. |
Relational models for the Lambek calculus S. L. Kuznetsov April 13, 2022 18:30, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
April 6, 2022 (Wed) |
|
10. |
The Rieger-Nishimura lattice and $n$-universal models (continued) Tikhon Pshenitsyn April 6, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
March 30, 2022 (Wed) |
|
11. |
The Rieger-Nishimura lattice and $n$-universal models Tikhon Pshenitsyn March 30, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
March 23, 2022 (Wed) |
|
12. |
Basic notions and concepts of category theory Andrey Khranilov March 23, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
March 16, 2022 (Wed) |
|
13. |
Logics of programs and Kleene algebras Vladimir Gladstein March 16, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
March 9, 2022 (Wed) |
|
14. |
Structures with Kleene iteration and their logics S. L. Kuznetsov March 9, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
March 2, 2022 (Wed) |
|
15. |
Boolean algebras, Stone and Jonsson-Tarski theorems A. A. Zapryagaev March 2, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
February 16, 2022 (Wed) |
|
16. |
Relation algebras: an introduction and a survey of results and open questions D. Rogozin February 16, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|
February 9, 2022 (Wed) |
|
17. |
Seminar 1. Algebraic and categorical logic S. L. Kuznetsov, V. B. Shehtman February 9, 2022 18:00, Steklov Mathematical Institute, Room 313 (8 Gubkina) + online
|
|
|
|
|
|