1. 2019
  2. The Interpolation Problem in Finite-Layered Pre-Heyting Logics

    Maksimova, L. L. & Yun, V. F., 15 мая 2019, в: Algebra and Logic. 58, 2, стр. 144-157 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Recognizability in pre-Heyting and well-composed logics

    Maksimova, L. L. V. & Yun, V. F., 1 янв. 2019, в: Сибирские электронные математические известия. 16, стр. 427-434 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. 2018
  5. Extensions of the Minimal Logic and the Interpolation Problem

    Maksimova, L. L. & Yun, V. F., 1 июл. 2018, в: Siberian Mathematical Journal. 59, 4, стр. 681-693 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Recognizability of All WIP-Minimal Logics

    Yun, V. F., 1 янв. 2018, в: Siberian Mathematical Journal. 59, 1, стр. 179-188 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Strong computability of slices over the logic Gl

    Maksimova, L. L. V. & Yun, V. F., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 35-47 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. 2017
  9. Slices and Levels of Extensions of the Minimal Logic

    Maksimova, L. L. & Yun, V. F., 1 нояб. 2017, в: Siberian Mathematical Journal. 58, 6, стр. 1042-1051 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  10. Strong Decidability and Strong Recognizability

    Maksimova, L. L. & Yun, V. F., 1 нояб. 2017, в: Algebra and Logic. 56, 5, стр. 370-385 16 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 3431781