Koji Mineshima. A Presuppositional Analysis of Definite Descriptions in Proof Theory. In Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura, editors, New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Volume 4914 of Lecture Notes in Computer Science, pages 214-227, Springer, 2007. [doi]
Abstract is missing.