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. © Springer - Verlag 2004.
CITATION STYLE
Kwuida, L., Tepavčević, A., & Šešelja, B. (2004). Negation in contextual logic. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3127, 227–241. https://doi.org/10.1007/978-3-540-27769-9_15
Mendeley helps you to discover research relevant for your work.