Literature Cited
A. I. Berg et al. (editors), Control, Information, Intelligence [Russian translation], Mysl', Moscow (1976).
V. N. Kostyuk, Logic [in Russian], Vishcha Shkola, Kiev-Odessa (1975).
R. M. Smullyan, First-Order Logic, Springer-Verlag, New York (1968).
D. Prawitz, H. Prawitz, and N. Voghera, “A mechanical proof procedure and its realization in an electronic computer,” J. ACM,7, No. 2 (1960).
M. Fitting, Intuitionistic Logic, Model Theory and Forcing, North-Holland Publ. Co., Amsterdam-London (1969).
N. J. Nielson, Artificial Intelligence, Solution Search Methods [Russian translation], Mir, Moscow (1973).
Additional information
Translated from Kibernetika, No. 4, pp. 43–46, July–August, 1978.
Rights and permissions
About this article
Cite this article
Mogilevskii, G.L., Ostroukhov, D.A. A mechanical propositional calculus using Smullyan's analytic tables. Cybern Syst Anal 14, 526–529 (1978). https://doi.org/10.1007/BF01069832
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069832