Filters, Ideals and Congruences on Double Boolean Algebras
Autor: | Tenkeu Jeufack Yannick Léa, Léonard Kwuida, Etienne Romuald Alomo Temgoua |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Formal Concept Analysis ISBN: 9783030778668 ICFCA |
DOI: | 10.1007/978-3-030-77867-5_18 |
Popis: | Double Boolean algebras (dBas) are algebras \(\underline{D}:=(D;\sqcap ,\)\(\sqcup ,\lnot ,\lrcorner ,\bot ,\top )\) of type (2, 2, 1, 1, 0, 0), introduced by R. Wille to capture the equational theory of the algebra of protoconcepts. Boolean algebras form a subclass of dBas. Our goal is an algebraic investigation of dBas, based on similar results on Boolean algebras. In these notes, we describe filters, ideals and congruences, and show that principal filters as well as principal ideals of dBas form (non necessary isomorphic) Boolean algebras. |
Databáze: | OpenAIRE |
Externí odkaz: |