A proof procedure with matrix reduction

Loveland D.W., (1968), Mechanical theorem proving by model elimination, Jour. ACM 15, pp. 236–251.
Article MathSciNet MATH Google Scholar
Prawitz, Dag, (1960), An improved proof procedure, Theoria 26, pp. 102–139.
Article MathSciNet MATH Google Scholar
Prawitz (1967), Advances and problems in mechanical proof procedures, to appear.
Google Scholar
Robinson, J.A., (1965), A machine oriented logic based on the resolution principle, Jour. ACM 12, pp. 23–44.
Article MathSciNet MATH Google Scholar

Download references

Authors

Dag Prawitz
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

M. Laudet D. Lacombe L. Nolin M. Schützenberger

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Prawitz, D. (1970). A proof procedure with matrix reduction. In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0060634

Download citation

DOI: https://doi.org/10.1007/BFb0060634
Published: 23 August 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04914-2
Online ISBN: 978-3-540-36262-3
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

A proof procedure with matrix reduction

Access this chapter

Preview

Bibliographical References