Some Recent Developments in Complete Strategies for Theorem‐Proving by Computer

Mathematical Logic Quarterly 14 (25-29):377-382 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680142502

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.Anita Wasilewska - 1985 - Mathematical Logic Quarterly 31 (19‐20):289-294.
The t‐variable method in gentzen‐style automatic theorem proving.Tryggvi Edwald - 1990 - Mathematical Logic Quarterly 36 (3):253-261.
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions.Dominique Snyers & André Thayse - 1987
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Robinson J. A.. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
Theorem-Proving on the Computer.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):514-515.
Logic for Computer Science. Foundations of Automatic Theorem Proving.Frank Pfenning - 1989 - Journal of Symbolic Logic 54 (1):288-289.
Gentzen's Centenary: The Quest for Consistency.Reinhard Kahle & Michael Rathjen (eds.) - 2015 - Springer.

Analytics

Added to PP
2014-01-16

Downloads
13 (#1,044,693)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
Eliminating the Irrelevant from Mechanical Proofs.Martin Davis - 1967 - Journal of Symbolic Logic 32 (1):118-119.

Add more references