论文信息 - Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr - 字舞流文

Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr

S. Maslov | G. Mints | V. Orevkov

[1] Olgierd Wojtasiewicz,et al. Elements of mathematical logic , 1964 .

[2] Variation in the Deduction Search Tactics in Sequential Calculi , 1969 .

[3] V. A. Lifshits. PROBLEM OF DECIDABILITY FOR SOME CONSTRUCTIVE THEORIES OF EQUALITIES , 1969 .

[4] Deductive Validity and Reduction Classes , 1969 .

[5] G. V. Davydov. Method of Establishing Deducibility in Classical Predicate Calculus , 1969 .

[6] V. A. Lifshits. Some Reduction Classes and Undecidable Theories , 1969 .

[7] M. Rogava. On Sequential Modifications of Applied Predicate Calculi , 1969 .

[8] S. Yu. Maslov,et al. Invertible Sequential Variant of Constructive Predicate Calculus , 1969 .

[9] L. Ort. International Association for the History of Religions , 1969 .

[10] G. E. Mints. Choice of Terms in Quantifier Rules of Constructive Predicate Calculus , 1969 .

[11] V. P. Orevkov. Two Undecidable Classes of Formulas in Classical Predicate Calculus , 1970 .

[12] Review: S. Ju. Maslov, G. E. Minc, V. P. Orevkov, E. Mendelson, Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables , 1970 .

[13] Some Remarks on Proof Search in the Predicate Calculus , 1970 .

[14] R. A. Plyushkevichus. Kanger’s Variant of Predicate Calculus with Symbols for Functions That Are Not Everywhere Defined , 1970 .