1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2025
A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
Prosenjit Howlader, Churn-Jung Liau
We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators correspo…
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…