Literature Cited
S. C. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton (1952).
V. P. Orevkov, “On Glivenkovskii sequence classes,” in: Transactions of the Mathematical Institute, Academy of Sciences of the USSR [in Russian], Moscow (1968), pp. 131–154.
V. A. Matulis, “Two variants of the classical predicate calculus without structural rules of derivation,” Dokl. Akad. Nauk SSSR,147, No. 5, 1029–1031 (1962).
M. H. Löb, “A reduction theorem for predicate logic,” Symbolic Logic,37, No. 2, 352–354 (1972).
S. Kanger, “A simplified proof method for elementary logic,” in: Computer Programming and Formal Systems, Studies in Logic, Amsterdam (1963), pp. 87–93.
G. E. Mints, “Variation of proof-search tactics in sequential calculi,” in: Notes of Scientific Seminars of the Leningrad Department of the Mathematics Institute, Academy of Sciences of the USSR [in Russian] (1967), pp. 134–151.
S. Yu. Maslov, “Reversible sequential variant of the constructive predicate calculus,” ibid. in: Notes of Scientific Seminars of the Leningrad Department of the Mathematics Institute, Academy of Sciences of the USSR [in Russian] (1967), pp. 96–111.
S. A. Norgela, “Increased complexity of derivations with introduction of minus-normality,” in: Theory of Logical Derivation (Abstracts) [in Russian], Moscow (1974), pp. 105–108.
S. Yu. Maslov, “On proof search in calculi of a general type,” in: Notes of Scientific Seminars of the Leningrad Department of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 32, (1972), pp. 59–65.
S. Yu. Maslov and S. A. Norgela, “On rules of the type of section in calculi of general type,” in: Notes of Scientific Seminars of the Leningrad Department of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 40 (1974), pp. 63–76.
Additional information
Translated from Kibernetika, No. 3, pp. 33–38, May–June, 1977.
Rights and permissions
About this article
Cite this article
Norgela, S.A. Minus-normal sequential calculi. Cybern Syst Anal 13, 346–352 (1977). https://doi.org/10.1007/BF01069651
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069651