Zobrazeno 1 - 10
of 68
pro vyhledávání: '"Larisa Maksimova"'
Autor:
Larisa Maksimova, Anna Fedorova
Publikováno v:
Central Russian Journal of Social Sciences. 12:24-31
Autor:
Larisa Maksimova
Publikováno v:
Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 9783319699165
These short autobiographic notes highlight main stages of my scientific and pedagogical activities.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::511909b4b370dd7632b764eedda4e45e
https://doi.org/10.1007/978-3-319-69917-2_2
https://doi.org/10.1007/978-3-319-69917-2_2
Autor:
D. O. Revin, P. S. Kolesnikov, Z. Chatzidakis, V. M. Kopytov, Vladimir N. Remeslennikov, A. A. Nikitin, A. G. Pinus, E. I. Timoshenko, S. P. Odintsov, Ivan P. Shestakov, N. A. Peryazev, K. M. Shegirov, D. E. Pal'chunov, Sergey Goncharov, S. S. Starchenko, D. Yu. Vlasov, A. N. Ryaskin, A. V. Vasil'ev, Larisa Maksimova, D. A. Tusupov, N. S. Romanovskii, E. V. Ovchinnikova, M. V. Schwidefsky, V. D. Mazurov, M. A. Grechkoseeva, E. P. Vdovin, N. G. Khisamiev, A. P. Pozhidaev, Sergey V. Sudoplatov, A. S. Morozov, E. V. Vasil'ev, A. A. Vikent'ev, B. Sh. Kulpeshov, A. A. Stepanova, B. S. Baizhanov, V. A. Churkin, B. Poizat, V. G. Puzarenko, L. N. Pobedin, V. V. Verbovskii, I. A. Mal'tsev, Yu. L. Ershov, P. E. Alaev, V. N. Zhelyabin
Publikováno v:
Sibirskie Elektronnye Matematicheskie Izvestiya. 16:А.1-А.10
Autor:
Larisa Maksimova
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319292984
In 1970, J.M. Dunn published a paper on a logic called RM extending the logic R of relevance. He proved that the logic RM is pretabular, i.e., it has no finite characteristic matrix, but every proper extension of it has such a matrix. In 1971, J.M. D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d21143628cd35514685709a0d09637a0
https://doi.org/10.1007/978-3-319-29300-4_5
https://doi.org/10.1007/978-3-319-29300-4_5
Autor:
Larisa Maksimova
Publikováno v:
Algebra and Logic. 51:163-184
We study the interpolation and Beth definability problems in propositional extensions of minimal logic J. Previously, all J-logics with the weak interpolation property (WIP) were described, and it was proved that WIP is decidable over J. In this pape
Autor:
Larisa Maksimova
Publikováno v:
Algebra and Logic. 50:106-132
We give a description of extensions for Johansson’s minimal logic J with the weak interpolation property. This property is proved to be decidable over J.
Autor:
Igor Lavrov, Arkadii Anatol'evich Mal'tsev, Victor D Mazurov, Aleksander Aleksandrovich Nikitin, S. K. Godunov, Boris Grigor'evich Mikhailenko, Yuri Grigor'evich Reshetnyak, Anatolii Nikolaevich Konovalov, Larisa Maksimova, A. S. Morozov, Aleksandr A Borovkov, Evgenii Andreevich Palyutin, Sergey Goncharov
Publikováno v:
Russian Mathematical Surveys. 66:199-203
Autor:
Igor Andreevich Lavrov, Aleksandr Alekseevich Borovkov, Arkadii Anatol'evich Mal'tsev, Larisa Maksimova, Sergey Goncharov, Evgenii Andreevich Palyutin, Yuri Grigor'evich Reshetnyak, A. S. Morozov, Anatolii Nikolaevich Konovalov, Aleksander Aleksandrovich Nikitin, S. K. Godunov, V. D. Mazurov, Boris Grigor'evich Mikhailenko
Publikováno v:
Uspekhi Matematicheskikh Nauk. 66:201-204