×

zbMATH — the first resource for mathematics

A formalization of the propositional calculus of H-B logic. (English) Zbl 0289.02015

MSC:
03B55 Intermediate logics
PDF BibTeX Cite
Full Text: DOI
References:
[1] G. Gentzen,Untersuchungen über das logische Schliessen I, II,Mathematische Zeitschrift, vol. 39 (1935), pp. 176–210, 405–443. · Zbl 0010.14501
[2] S. C. Kleene,Introduction to metamathematics, North-Holland Publishing Co., Amsterdam, 1952. · Zbl 0047.00703
[3] 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).
[4] C. Rauszer,Semi-Boolean algebras and their applications to intuitionistic logic with dual operations,Fundamenta Mathematicae, to appear. · Zbl 0298.02064
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.