| 書目名稱 | What is Negation? |
| 編輯 | Dov M. Gabbay,Heinrich Wansing |
| 視頻video | http://file.papertrans.cn/1028/1027813/1027813.mp4 |
| 叢書名稱 | Applied Logic Series |
| 圖書封面 |  |
| 描述 | The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with those of other logical operations and structural features of the deducibility relation-serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a ‘hot topic‘, and there is an urgent need for a comprehensive account of this logical key concept. We therefore have asked leading scholars in various branches of logic to contribute to a volume on "What is Negation?". The result is the present neatly focused collection of re- search papers bringing together different approaches toward a general characteri- zation of kinds of negation and classifications thereof. The volume is structured into four interrelated thematic parts. Part I is centered around the themes of Models, Relevance and Impossibility. In Chapter 1 (Negation: Two Points of View), Arnon Avron develops two characteri- zation |
| 出版日期 | Book 1999 |
| 關(guān)鍵詞 | artificial intelligence; classification; intelligence; language; linguistics; logic; modal logic; programmi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-015-9309-0 |
| isbn_softcover | 978-90-481-5169-1 |
| isbn_ebook | 978-94-015-9309-0Series ISSN 1386-2790 |
| issn_series | 1386-2790 |
| copyright | Springer Science+Business Media B.V. 1999 |