Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox

Licato et al. "Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox." International Joint Conference on Artificial Intelligence, 2013.

[Licato et al. "Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/licato2013ijcai-analogico/)

@inproceedings{licato2013ijcai-analogico,
  title     = {{Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox}},
  author    = {Licato, John and Govindarajulu, Naveen Sundar and Bringsjord, Selmer and Pomeranz, Michael and Gittelson, Logan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {1004-1009},
  url       = {https://mlanthology.org/ijcai/2013/licato2013ijcai-analogico/}
}