{"type":"ScholarlyArticle","title":"Obvious Logical Inferences","authors":[{"name":"Martin Davis","slug":"martin-davis","given":"Martin","family":"Davis","affiliation":""}],"abstract":"A precise definition is given of a class of inferences in predicate logic which it is 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.","doi":null,"url":"https://ijcai.org/proceedings/1981/99","pdf":"https://ijcai.org/proceedings/1981/0099.pdf","markdown":"https://ijcai.org/proceedings/1981/99.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/99","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":99,"pages":{"first":530,"last":530},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}