A formalization of the propositional calculus of H-B logic

G. Gentzen,Untersuchungen über das logische Schliessen I, II,Mathematische Zeitschrift, vol. 39 (1935), pp. 176–210, 405–443.

S. C. Kleene,Introduction to metamathematics, North-Holland Publishing Co., Amsterdam, 1952.

C. Rauszer,Representation theorems for semi-Boolean algebras I, Bulletin de l'Académie Polonaise des Sciences,Série des sciences math., astr. et phys., vol. 19, No. 10 (1971).

C. Rauszer,Semi-Boolean algebras and their applications to intuitionistic logic with dual operations,Fundamenta Mathematicae, to appear.