A topological representation of double boolean lattices
DOI:
https://doi.org/10.24193/subbmath.2019.1.02Keywords:
Formal Concept Analysis, double boolean algebra, topological contextAbstract
Boolean Concept Logic has been introduced by R. Wille as a mathematical theory based on Formal Concept Analysis. Concept lattices are extended with two new operations, negation and opposition which then lead to algebras of protoconcepts which are equationally equivalent to double Boolean algebras. In this paper, we provide a topological representation for double Boolean algebras based on the so-called DB-topological contexts. A double Boolean algebra is then represented as the algebra of clopen protoconcepts of some DB-topological context.
Downloads
Additional Files
Published
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Transfer of copyright agreement: When the article is accepted for publication, the authors and the representative of the coauthors, hereby agree to transfer to Studia Universitatis Babeș-Bolyai Mathematica all rights, including those pertaining to electronic forms and transmissions, under existing copyright laws, except for the following, which the authors specifically retain: the authors can use the material however they want as long as it fits the NC ND terms of the license. The authors have all rights for reuse according to the license.
