• Corpus ID: 232307014

Topological Representation of Double Boolean Algebras

@inproceedings{Howlader2021TopologicalRO,
  title={Topological Representation of Double Boolean Algebras},
  author={Prosenjit Howlader and Mohua Banerjee},
  year={2021}
}
In formal concept analysis, the collection of protoconcepts of any context forms a double Boolean algebra (dBa) which is fully contextual. Semiconcepts of a context form a pure dBa. The present article is a study on topological representation results for dBas, and in particular, those for fully contextual and pure dBas. The representation is in terms of object oriented protoconcepts and semiconcepts of a context, notions that were defined by the authors earlier for introducing negation in the… 

Figures and Tables from this paper

Journal of Algebraic Hyperstructures and Logical Algebras

Double Boolean algebras (dBas) are algebraic structures D = (D,u,t,¬, ⌟,⊥,>) of type (2, 2, 1, 1, 0, 0), introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts.

References

SHOWING 1-10 OF 50 REFERENCES

Applications of the theory of Boolean rings to general topology

In an earlier paperf we have developed an abstract theory of Boolean algebras and their representations by algebras of classes. We now relate this theory to the study of general topology. The first

The Theory of Representation for Boolean Algebras

Infinite Dimensional Analysis: A Hitchhiker’s Guide

This text was born out of an advanced mathematical economics seminar at Caltech in 1989-90. We realized that the typical graduate student in mathematical economics has to be familiar with a vast

Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts

TLDR
Restructuring lattice theory is an attempt to reinvigorate connections with the authors' general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattices theory.

Deciding the word problem in pure double Boolean algebras

Conceptual Structures: Logical, Linguistic, and Computational Issues

TLDR
It is argued that the human brain (or rather, the brain of the authors' hominid ancestors) acquired conceptual structure long before it acquired language, and that the acquisition of conceptual structure was the key cognitive development that led to the emergence of contemporary humans.

Formal Concept Analysis: Mathematical Foundations

From the Publisher: This is the first textbook on formal concept analysis. It gives a systematic presentation of the mathematical foundations and their relation to applications in computer science,

PRIME IDEAL THEOREM FOR DOUBLE BOOLEAN ALGEBRAS

Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal)

Remarks on Prime Ideal and Representation Theorems for Double Boolean Algebras

TLDR
It is shown that the two axioms considered by Kwuida are derivable in Wille's double Boolean algebra and, as a consequence, the prime ideal theorem holds for Wille’sdouble Boolean algebra itself.