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
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


checked on Jul 13, 2024

Page view(s)

checked on May 10, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.