DC FieldValueLanguage
dc.contributor.authorKwuida, Léonarden
dc.contributor.authorTepavčević, Andrejaen
dc.contributor.authorŠešelja, Branimiren
dc.date.accessioned2020-04-12T18:10:42Z-
dc.date.available2020-04-12T18:10:42Z-
dc.date.issued2004-01-01en
dc.identifier.isbn978-3-540-22392-4en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/422-
dc.description.abstractThis 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.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleNegation in contextual logicen
dc.typeArticleen
dc.relation.conferenceInternational Conference on Conceptual Structures, ICCS 2004-
dc.identifier.doi10.1007/978-3-540-27769-9_15-
dc.identifier.scopus2-s2.0-33745554195en
dc.relation.firstpage227en
dc.relation.lastpage241en
dc.relation.volume3127en
dc.description.rankM23-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0002-5716-604X-
Show simple item record

SCOPUSTM   
Citations

3
checked on Jul 24, 2024

Page view(s)

36
checked on May 10, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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