【学术报告】Circular proofs for non-classical logics

• 主讲人：Stepan Kuznetsov
• 举办方： Beijing-Moscow Mathematics Colloquium by Sino-Russian Mathematics Center
• 时间： 2022-03-04 17:00 - 2022-03-04 18:00
• 地点： online

To Join Zoom Meeting: 

https://us02web.zoom.us/j/83872791265?pwd=VnlFREJqRndyL2c4OU84Y2VsWFJpdz09

Meeting ID: 838 7279 1265

Password: 954040

 

Abstract: Usually, in a logical proof a cycle, that is, using the statement we wish to prove as an argument towards proving it, is considered incorrect (circulus vitiosus). There is, however, a vividly developing field of study of circular proofs, where such cycles are allowed to be used, under certain conditions, without losing logical validity. In this talk, we survey several applications of this approach in non-classical logics, namely, modal logics and substructural logics with Kleene star.

 

Bio: Stepan Kuznetsov is a senior scientific researcher at Steklov Mathematical Institute, RAS. He currently offers courses in mathematical logic at MSU; and also courses in computer sciences at HSE University.