|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 14:1 (2021), 22–50     |
4
|
|
2019 |
| 2. |
Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, Lecture Notes in Comput. Sci., 11541 (2019), 569–583 |
1
|
|
2017 |
| 3. |
Yury Savateev, Daniyar Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Lecture Notes in Comput. Sci., 10388 (2017), 321–336 |
3
|
|
2011 |
| 4. |
Ю. В. Саватеев, “Применение сетей доказательств для исследования фрагментов исчисления Ламбека”, Изв. РАН. Сер. матем., 75:3 (2011), 189–222   ; Yu. V. Savateev, “An application of proof-nets to the study of fragments of the Lambek calculus”, Izv. Math., 75:3 (2011), 631–663 |
3
|
|
2009 |
| 5. |
Ю. В. Саватеев, “Распознавание выводимости для исчисления Ламбека с одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, № 2, 59–62 |
4
|
|
Обратная связь: