Эта публикация цитируется в 1 статье

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

Yury Savateev^a, Daniyar Shamkanov<sup>b

a</sup> National Research University Higher School of Economics, Moscow, Russia
^b Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia

Язык публикации: английский

DOI: 10.1007/978-3-662-59533-6_34

Реферативные базы данных:

• 
•