Gentzen Style Systems for K45 and K45D

Grigori F. Shvarts. Gentzen Style Systems for K45 and K45D. In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 245-256, Springer, 1989.

Abstract

Abstract is missing.