Section of Algebra and Mathematical Logic

Contact

Research output

  1. Modal Companions for the Special Extensions of Nelson’s Constructive Logic

    Research output: Contribution to journal › Article › peer-review

  2. Модальные напарники специальных расширений конструктивной логики Нельсона

    Research output: Contribution to journal › Article › peer-review

  3. On extensions of minimal logic with linearity axiom

    Research output: Contribution to journal › Article › peer-review

View all (7) »

Activities

  1. V Конференция математических центров России

    Activity: Participating in or organising an event › Participating in a conference, workshop, ...

View all (1) »

ID: 3443686