Strong Normalization for All-Style LK

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco. Strong Normalization for All-Style LK. In Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, pages 226-243, Springer, 1996.

Abstract

Abstract is missing.