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.