1 - 7 out of 7Page size: 10
  1. 2019

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

    Maksimova, L. L. & Yun, V. F., 15 May 2019, In: Algebra and Logic. 58, 2, p. 144-157 14 p.

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

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

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

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

  4. 2018

  5. Extensions of the Minimal Logic and the Interpolation Problem

    Maksimova, L. L. & Yun, V. F., 1 Jul 2018, In: Siberian Mathematical Journal. 59, 4, p. 681-693 13 p.

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

  6. Recognizability of All WIP-Minimal Logics

    Yun, V. F., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 179-188 10 p.

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

  7. Strong computability of slices over the logic Gl

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

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

  8. 2017

  9. Slices and Levels of Extensions of the Minimal Logic

    Maksimova, L. L. & Yun, V. F., 1 Nov 2017, In: Siberian Mathematical Journal. 58, 6, p. 1042-1051 10 p.

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

  10. Strong Decidability and Strong Recognizability

    Maksimova, L. L. & Yun, V. F., 1 Nov 2017, In: Algebra and Logic. 56, 5, p. 370-385 16 p.

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

ID: 3431781