|
|
|
Publications in Math-Net.Ru |
Citations |
|
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. |
Yu. V. Savateev, “An application of proof-nets to the study of fragments of the Lambek calculus”, Izv. RAN. Ser. Mat., 75:3 (2011), 189–222   ; Izv. Math., 75:3 (2011), 631–663 |
3
|
|
2009 |
| 5. |
Yu. V. Savateev, “Recognition of derivability for the Lambek calculus with one division”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2009, no. 2, 59–62 |
4
|
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
| |
|
|
Contact us: