On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus

Journal of Symbolic Logic 38 (2):331-332 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272086

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
Ánkov V. A.. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 , pp. 208–211.Jankov V. A.. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija , vol. 2 no. 1 , pp. 205–208. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-331.
The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
Review: Alfred Horn, The Separation Theorem of Intuitionist Propositional Calculus. [REVIEW]T. Thacer Robinson - 1967 - Journal of Symbolic Logic 32 (2):282-282.
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 , pp. 391–399.T. Thacher Robinson - 1967 - Journal of Symbolic Logic 32 (2):282.
A propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,378,580)

6 months
5 (#1,067,832)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.

Add more citations

References found in this work

No references found.

Add more references