E-LIB Suche - Ergebnisse für: Yun, V. F.

1

Pretabularity and Craig's Interpolation Property:

Maksimova, L. L. ; Yun, V. F.
Algebra and Logic. , 2024

Link: https://doi.org/10.1007/..

2

Craig's Interpolation Property in Pretabular Logics:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 65 (2024) 2 - p. 344-350 , 2024

Link: https://doi.org/10.1134/..

3

Algorithms for Recognizing Restricted Interpolation over th..:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 63 (2022) 2 - p. 286-298 , 2022

Link: https://doi.org/10.1134/..

4

Hybrid Extensions of the Minimal Logic:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 62 (2021) 5 - p. 876-881 , 2021

Link: https://doi.org/10.1134/..

5

The Interpolation Problem in Finite-Layered Pre-Heyting Log..:

Maksimova, L. L. ; Yun, V. F.
Algebra and Logic. 58 (2019) 2 - p. 144-157 , 2019

Link: https://doi.org/10.1007/..

6

Recognizability of All WIP-Minimal Logics:

Yun, V. F.
Siberian Mathematical Journal. 59 (2018) 1 - p. 179-188 , 2018

Link: https://doi.org/10.1134/..

7

Extensions of the Minimal Logic and the Interpolation Probl..:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 59 (2018) 4 - p. 681-693 , 2018

Link: https://doi.org/10.1134/..

8

Slices and Levels of Extensions of the Minimal Logic:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 58 (2017) 6 - p. 1042-1051 , 2017

Link: https://doi.org/10.1134/..

9

Strong Decidability and Strong Recognizability:

Maksimova, L. L. ; Yun, V. F.
Algebra and Logic. 56 (2017) 5 - p. 370-385 , 2017

Link: https://doi.org/10.1007/..

10

Layers over Minimal Logic:

Maksimova, L. L. ; Yun, V. F.
Algebra and Logic. 55 (2016) 4 - p. 295-305 , 2016

Link: https://doi.org/10.1007/..

11

The tabularity problem over the minimal logic:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 57 (2016) 6 - p. 1034-1043 , 2016

Link: https://doi.org/10.1134/..

12

On the linear logic of knowledge and time with intransitive..:

Yun, V. F.
Siberian Mathematical Journal. 56 (2015) 3 - p. 565-568 , 2015

Link: https://doi.org/10.1134/..

13

Interpolation over the minimal logic and Odintsov intervals:

Maksimova, L. L. ; Yun, V. F.
Siberian Mathematical Journal. 56 (2015) 3 - p. 476-489 , 2015

Link: https://doi.org/10.1134/..

14

Recognizable Logics:

Maksimova, L. L. ; Yun, V. F.
Algebra and Logic. 54 (2015) 2 - p. 167-182 , 2015

Link: https://doi.org/10.1007/..

15

Method for determining the basic energy characteristics of ..:

Rakov, Vyacheslav ; Ivanov, V N ; Karpov, Yu G...
IOP Conference Series: Earth and Environmental Science. 337 (2019) 1 - p. 012066 , 2019

Link: https://doi.org/10.1088/..