A Complete Deductive System for the

-Calculus

Igor Walukiewicz

January 1995

Abstract:

The propositional -calculus as introduced by Kozen is considered. In that paper a finitary axiomatisation of the logic was presented but its completeness remained an open question. Here a different finitary axiomatisation of the logic is proposed and proved to be complete. The two axiomatisations are compared.

Available as PostScript, PDF, DVI.

Last modified: 2003-06-08 by webmaster.