Obvious Logical Inferences
| Author(s) : | Martin Davis, |
| Publisher : | N/A |
| Publication Date : | 1981 |
| ISSN : | N/A |
| Abstract : | A precise definition is given of a class of inferences in predicate logic which it la proposed to Identify with the class of "obvious " Inferences. A mechanism for Implementing "obvious inference " as a rule of Inference in proof checking systems is discussed. I., |