References
Anderson, A. R. and Belnap, N. D. Jr.: 1975, Entailment, The Logic of Relevance and Necessity, Princeton University Press.
Curry, H. B.: 1963, Foundations of Mathematical Logic, McGraw-Hill, New York.
Došen, K.: 1980, ‘Logical Constants, An Essay in Proof Theory’, D.Phil. thesis, University of Oxford.
Gödel, K.: 1933, ‘Zur intuitionistischen Arithmetik und Zahlentheorie’, Ergebnisse eines mathematischen Kolloquiums 4, 34–38.
Kleene, S. C.: 1952, Introduction to Metamathematics, North-Holland, Amsterdam.
Kolmogorov, A. N.: 1925, ‘O printsipe tertium non datur’, Matematicheskii sbormik 32, 646–667 (Engl. transl. in J. van Heijenoort (ed.), From Frege to Gödel, Harvard University Press, 1967).
Maksimova, L. L.: 1971, ‘Interpretatsiia i teoremy otdeleniia dlia ischisleni i E i R’, Algebra i logika 10, 376–391 (Engl. transl. in Algebra and Logic 10, 232–241).
Meyer, R. K.: 1972, ‘Conservative Extension in Relevant Implication’, Studia Logica 31, 39–46.
Popov, V. M.: 1977, ‘O razreshimosti relevantnoi sistemy R A ’, in P. V. Tavanets (ed.), Metody logicheskogo analiza, Nauka, Moskva, pp. 109–112.
Prior, A. N.: 1962, Formal Logic, Oxford University Press (second edition; first published in 1955).
Smirnov, V. A.: 1972, Formalnyi vyvod i logicheskie ischisleniia, Nauka, Moskva.
Smirnov, V. A.: 1979, ‘Formalnyi vyvod, teoremy deduktsii i teorii implikatsii’, in V. A. Smirnov et al. (eds.), Logicheskii vyvod, Nauka, Moskva, pp. 54–68.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Došen, K. A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. J Philos Logic 10, 399–408 (1981). https://doi.org/10.1007/BF00248734
Issue Date:
DOI: https://doi.org/10.1007/BF00248734