| 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
SCOPUSTM
Citations
3
checked on Dec 26, 2024
Page view(s)
15
checked on Dec 25, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.