3 papers
math.LO2026
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.LO2025
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
Prosenjit Howlader, Churn-Jung Liau
A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated…