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

Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

Yury Savateev^a, Daniyar Shamkanov<sup>b

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

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

DOI: 10.1007/978-3-662-55386-2_23

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

• 
• 
•