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

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center