Veta Fedorovna Yun
From MaRDI portal
Person:2003245
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Pretabularity and Craig's interpolation problem over the minimal logic Sibirskie Elektronnye Matematicheskie Izvestiya | 2024-08-14 | Paper |
| Pretabularity and Craig's interpolation property Algebra and Logic | 2024-05-15 | Paper |
| Craig's interpolation property in pretabular logics Siberian Mathematical Journal | 2024-03-27 | Paper |
| Algorithms for recognizing restricted interpolation over the modal logic S4 Siberian Mathematical Journal | 2022-04-08 | Paper |
| Hybrid extensions of the minimal logic Siberian Mathematical Journal | 2021-09-27 | Paper |
| Perceptibility in pre-Heyting logics Sibirskie Elektronnye Matematicheskie Izvestiya | 2020-09-24 | Paper |
| On linear logic of knowledge and time Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
| The interpolation problem in finite-layered pre-Heyting logics Algebra and Logic | 2019-12-06 | Paper |
| Recognizability in pre-Heyting and well-composed logics Sibirskie Elektronnye Matematicheskie Izvestiya | 2019-07-16 | Paper |
| Extensions of the minimal logic and the interpolation problem Siberian Mathematical Journal | 2018-11-13 | Paper |
| Recognizability of all WIP-minimal logics Siberian Mathematical Journal | 2018-06-20 | Paper |
| Slices and levels of extensions of the minimal logic Siberian Mathematical Journal | 2018-04-20 | Paper |
| Strong computability of slices over the logic GL Sibirskie Elektronnye Matematicheskie Izvestiya | 2018-04-03 | Paper |
| Strong decidability and strong recognizability Algebra and Logic | 2018-03-02 | Paper |
| Calculi over minimal logic and nonembeddability of algebras Sibirskie Elektronnye Matematicheskie Izvestiya | 2017-09-06 | Paper |
| Layers over minimal logic Algebra and Logic | 2017-07-18 | Paper |
| The tabularity problem over the minimal logic Siberian Mathematical Journal | 2017-03-16 | Paper |
| WIP-minimal logics and interpolation Sibirskie Elektronnye Matematicheskie Izvestiya | 2016-07-28 | Paper |
| Polymodal logic of the class of inductive linear time frames Sibirskie Elektronnye Matematicheskie Izvestiya | 2016-07-28 | Paper |
| The temporal logic of inductive frames with linear time Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
| Recognizable logics Algebra and Logic | 2015-10-27 | Paper |
| Interpolation over the minimal logic and Odintsov intervals Siberian Mathematical Journal | 2015-09-28 | Paper |
| On the linear logic of knowledge and time with intransitive time relation Siberian Mathematical Journal | 2015-09-28 | Paper |
| The temporal logic of linear time frames with inductions axiom Sibirskie Elektronnye Matematicheskie Izvestiya | 2014-06-13 | Paper |
Research outcomes over time
This page was built for person: Veta Fedorovna Yun
