On Definitional Transformations to Normal Form for Institionistic Logic

Uwe Egly. On Definitional Transformations to Normal Form for Institionistic Logic. Fundamenta Informaticae, 29(1-2):165-201, 1997.

Abstract

Abstract is missing.