1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026★ 1 cited
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
Prosenjit Howlader, Leonard Kwuida, Mike Behrisch +1
Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to W…
math.LO2022
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
Prosenjit Howlader, Mohua Banerjee
The notion of a context in formal concept analysis and that of an approximation space in rough set theory are unified in this study to define a Kripke context. For any context (G,M…