ComputingComputer ScienceFormal MethodsKnowledge RepresentationLogicAutomated ReasoningDeductive ReasoningDeductive SystemsPredicate LogicProof TheoryTheorem ProvingAutomated Proof CheckingAutomated Theorem ProvingFormal Proof SystemsInference RulesLogical InferencePredicate Logic SemanticsProof CheckingProof Systems
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.
1
Prolegomena to a theory of mechanized formal reasoning
Richard W. Weyhrauch · Artificial Intelligence · 1980 · 404 citations