Boolean Concept Logic
by
Rudolf Wille
TU Darmstadt

The aim of this presentation is to show how a Boolean Cocept Logic may be elaborated as a mathematical theory based on Formal Concept Analysis. For this purpose, concept lattices are extended by further operations, mainly negation and opposition. Two extensions are discussed which lead, on the one hand, to algebras of protoconcepts equationally equivalent to double Boolean algebras and, on the other hand, to concept algebras quasi-equationally equivalent to dicomplemented lattices. In both cases, basic representation theorems are proved. These results are not only basic for Contextual Concept Logic but also for Contextual Judgment Logic with its theory of concept graphs.

Date received: May 22, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caee-53.