V. A. Yankov, “On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus”, Izv. Akad. Nauk SSSR Ser. Mat., 1968, Volume 32, Issue 1,Pages <nobr>208

This article is cited in 6 papers

On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus

V. A. Yankov

Abstract: We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.

UDC: 517.11

MSC: 03F55, 03E25

Received: 31.05.1967