1 citations · 2 across the 7 of their papers we have counts for
7 papers
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…
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…
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…
Two-sorted Modal Logic for Formal and Rough Concepts
Prosenjit Howlader, Churn-Jung Liau
In this paper, we propose two-sorted modal logics for the representation and reasoning of concepts arising from rough set theory (RST) and formal concept analysis (FCA). These logi…
A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts
Prosenjit Howlader, Mohua Banerjee
A non-distributive two-sorted hypersequent calculus \textbf{PDBL} and its modal extension \textbf{MPDBL} are proposed for the classes of pure double Boolean algebras and pure doubl…
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…
Topological Representation of Double Boolean Algebras
Prosenjit Howlader, Mohua Banerjee
In formal concept analysis, the collection of protoconcepts of any context forms a double Boolean algebra (dBa) which is fully contextual. Semiconcepts of a context form a pure dBa…