An experimental logic based on the fundamental deduction principle
- 30 November 1986
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 30 (2) , 117-263
- https://doi.org/10.1016/0004-3702(86)90011-1
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An investigation into the goals of research in automatic theorem proving as related to mathematical reasoningArtificial Intelligence, 1980
- Inductive reasoning on recursive equationsArtificial Intelligence, 1979
- Towards the automation of set theory and its logicArtificial Intelligence, 1978
- Non-resolution theorem provingArtificial Intelligence, 1977
- Doing arithmetic without diagramsArtificial Intelligence, 1977
- Mechanical program analysisCommunications of the ACM, 1975
- On the long-range prospects of automatic theorem-provingPublished by Springer Nature ,1970
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- An improved proof procedure1Theoria, 1960