Rogozin Danya

Presentations in Math-Net.Ru

1. Categorial models of linear type theory with subexponentials (continuation)
   D. Rogozin
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 20, 2025 16:00   
2. Categorial models of linear type theory with subexponentials
   D. Rogozin
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 13, 2025 16:00   
3. Relation algebras: an introduction and a survey of results and open questions
   D. Rogozin
   Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
   February 16, 2022 18:00   
4. The distributive full Lambek calculus with modal operators
   D. Rogozin
   Logical Perspectives 2021: Summer School and Workshop
   June 18, 2021 12:00