| Authors: | Kwuida, Léonard Tepavčević, Andreja Šešelja, Branimir |
| Title: | Negation in contextual logic |
| Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume: | 3127 |
| First page: | 227 |
| Last page: | 241 |
| Conference: | International Conference on Conceptual Structures, ICCS 2004 |
| Issue Date: | 1-Jan-2004 |
| Rank: | M23 |
| ISBN: | 978-3-540-22392-4 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-540-27769-9_15 |
| Abstract: | This contribution discusses a formalization of the "negation of a concept". The notion of "concept" has been successfully formalized in the early eighties and led to the theory of Formal Concept Analysis. Boole (1815-1864) developed a mathematical theory for human thought based on signs and classes. The formalization of the negation of concepts is needed in order to develop a mathematical theory of human thought based on "concept as a basic unit of thought". Two approaches will be discussed: negation as a partial or as a full operation on concepts. |
| Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.