The logic system of concept graphs with negation : and its relationship to predicate logic / Frithjof Dau.

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

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Dau, Frithjof
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2003.
Series:	Lecture notes in computer science ; 2892.
Subjects:	Conceptual structures (Information theory) Knowledge representation (Information theory) Graph theory. Logic diagrams.