1 citations · 1 across the 8 of their papers we have counts for
8 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…
An Inductive Construction for Many-Valued Coalgebraic Modal Logic
Chun-Yu Lin, Churn-Jung Liau
In this paper, we present an abstract framework of many-valued modal logic with the interpretation of atomic propositions and modal operators as predicate lifting over coalgebras f…
A Note on Categories about Rough Sets
Y. R. Syau, E. B. Lin, C. J. Liau
Using the concepts of category and functor, we provide some insights and prove an intrinsic property of the category of approximation spaces and relation-preserving fu…