The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ference can be found athttp: //www.kde.cs.uni-kassel.de/conf/iccs05. The title of this year s conference, Common Semantics for Sharing Kno- edge, waschosentoemphasizeontheonehandtheoverallaimofanyknowledge representationformalism, to support the sharing of knowledge, and on the other hand the importance of a common semantics to avoiddistortion of the meaning. We understand that both aspects are of equal importance for a successful future of the...
The 13th International Conference on Conceptual Structures (ICCS 2005) was held in Kassel, Germany, during July 17 22, 2005. Information about the c- ...
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual graphs, based on Peirce's existential graphs. Combining FCA and a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic.
Expressing negation in contextual logic is a difficult task. Based on the author's...
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclus...
