Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
The Lattice of Concept Graphs of a Relationally Scaled Context
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Negations in Simple Concept Graphs
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
A Contextual-Logic Extension of TOSCANA
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Existential Concept Graphs of Power Context Families
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Associative and Formal Concepts
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Relational Scaling and Databases
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Semiconcept Graphs with Variables
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Semiconcept and protoconcept algebras: the basic theorems
Formal Concept Analysis
From formal concept analysis to contextual logic
Formal Concept Analysis
Conceptual knowledge processing in the field of economics
Formal Concept Analysis
Complete subalgebras of semiconcept algebras and protoconcept algebras
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Hi-index | 0.00 |
How to introduce negations for formal (semi-)concepts of formal contexts was shown in "Boolean Concept Logic" [Wi00a]. For formal judgments, which are represented by concept graphs of power context families, there is the problem that the negation of a judgment is no more a judgment since judgments are understood as valid propositions. This problem is solved in "Boolean Judgment Logic" by introducing the "negating inversion". This leads to basic algebras of (semi-)concept graphs of power context families which are investigated in this paper to obtain a mathematical foundation of Boolean Judgment Logic. The basic notions and relationships are illustrated by an example concerned with an information system for supporting the configuration of PCs.