A method for synthesis of the derivability conditions of the horn and some other formulas-Reference-Cited by-同舟云学术

A method for synthesis of the derivability conditions of the horn and some other formulas

Published:1997-10 Issue:5 Volume:38 Page:896-906
ISSN:0037-4466
Container-title:Siberian Mathematical Journal
language:en
Short-container-title:Sib Math J

Author:

Vasil'ev S. N.

Publisher

Springer Science and Business Media LLC

Subject

General Mathematics

Link

http://link.springer.com/content/pdf/10.1007/BF02673030.pdf

Reference21 articles.

1. J. A. Robinson, “A machine-oriented logic based on the resolution principle”, J. Assoc. Comput. Mach.,12, 23–41 (1965).

2. N. A. Aleshina, A. M. Anisov, P. I. Bystrov, and et al. Logic and the Computer. Modeling Arguments and Testing Programs [in Russian], Nauka, Moscow (1990).

3. H. Wang, “Toward mechanical mathematics”, IBM J. Res. Develop.,4, No. 1, 2–22 (1960).

4. R. Lee, A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms, Doctoral Diss., Dept. of Electrical Engineering and Computer Science, Univ. of California, Berkeley (1967).

5. V. M. Glushkov, Computer Proves [in Russian], Znanie, Moscow (1981).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complexity of the Problem of Being Equivalent to Horn Formulas. II;Algebra and Logic;2022-09

2. Complexity of the Problem of Being Equivalent to Horn Formulas;Algebra and Logic;2022-01

3. Verification of the logical sequence in nonclassical multivalued logic;Izvestiya Instituta Matematiki i Informatiki. Udmurt. Gos. Univ.;2017-11

4. Automation methods for logical derivation and their application in the control of dynamic and intelligent systems;Proceedings of the Steklov Institute of Mathematics;2012-04

5. A reduction method and qualitative analysis of dynamic systems: II;Journal of Computer and Systems Sciences International;2006-03