|
Lecture Notes in Comput. Sci., 2019, том 11541, страницы 569–583
(Mi lncs38)
|
|
|
|
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
Yury Savateeva, Daniyar Shamkanovb a National Research University Higher School of Economics, Moscow, Russia
b Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia
DOI:
https://doi.org/10.1007/978-3-662-59533-6_34
Реферативные базы данных:
Тип публикации:
Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/lncs38
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 2 |
|