Inproceedings,

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

, , , , and .
IJCAI, page 1004-1009. IJCAI/AAAI, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews