The Kolmogorov calculus as a part of minimal calculus
V. E. Plisko · Russian Mathematical Surveys · 1988
CONTENTS Introduction § 1. The Kolmogorov calculus § 2. The intuitionistic, minimal, and positive calculi § 3. Properties of the minimal calculus § 4. Models of the intuitionistic propositional calculus § 5. The separability of the intuitionistic propositional calculus § 6. The Kolmogorov calculus as the implicative-negative part of the minimal calculus § 7. The Kolmogorov predicate calculus § 8. Inferences of type References