Mechanizing a Particularly Expressive Many Sorted Logic

Cohn, Anthony G.

Mechanizing a Particularly Expressive Many Sorted Logic

Download BibTeX Cite

Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .

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.

Anthony G. Cohn. 1979. Mechanizing a Particularly Expressive Many Sorted Logic. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/39

@inproceedings{ijcai1979p39,
  title     = {Mechanizing a Particularly Expressive Many Sorted Logic},
  author    = {Cohn, Anthony G.},
  booktitle = {Proceedings of the Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI-79}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Bruce G. Buchanan},
  year      = {1979},
  month     = {8},
  url       = {https://ijcai.org/proceedings/1979/39},
}

TY  - CPAPER
TI  - Mechanizing a Particularly Expressive Many Sorted Logic
AU  - Cohn, Anthony G.
T2  - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1979
UR  - https://ijcai.org/proceedings/1979/39
ER  -