{"type":"ScholarlyArticle","title":"Mechanizing a Particularly Expressive Many Sorted Logic","authors":[{"name":"Anthony G. Cohn","slug":"anthony-g-cohn","given":"Anthony G.","family":"Cohn","affiliation":""}],"abstract":"A particularly expressive many sorted logic is presented along with an outline of an implementation. The logic allows functions and predicates to be sorted polymorphically and the sortspace to be partially ordered. It is shown that truth values may sometimes be inferred solely on the basis of sort information.","doi":null,"url":"https://ijcai.org/proceedings/1979/39","pdf":"https://ijcai.org/proceedings/1979/0039.pdf","markdown":"https://ijcai.org/proceedings/1979/39.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/39","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":39,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}