RUS
ENG
Full version
PEOPLE
Grefenshtein Alexander Vitalevich
Presentations in Math-Net.Ru
On the quantified version of the Belnap-Dunn modal logic and some extensions of it
A. V. Grefenshtein
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023
12:00
Relations between Chomsky Hierarchy and Lambek Grammars
A. V. Grefenshtein
Seminar by S. L. Kuznetsov and S. O. Speranski "Logical and algebraic methods in linguistics"
March 1, 2023
18:00
Seminar 3. Intuitionistic Logic and Non-Classical Logics on Its Base
A. V. Grefenshtein
Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
September 28, 2022
18:00
©
Steklov Math. Inst. of RAS
, 2024