# 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…

## One Citation

### Journal of Algebraic Hyperstructures and Logical Algebras

- Mathematics
- 2022

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

- Mathematics
- 1937

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…

### Infinite Dimensional Analysis: A Hitchhiker’s Guide

- Economics
- 1994

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

- Computer ScienceICFCA
- 2009

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

- MathematicsJ. Appl. Log.
- 2012

### Conceptual Structures: Logical, Linguistic, and Computational Issues

- BiologyLecture Notes in Computer Science
- 2000

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

- Computer Science
- 1998

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

- Mathematics
- 2007

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

- MathematicsCLA
- 2020

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.