Showing math.LOShow all
2 papers · 1 filter
math.LO2023
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…
math.LO2022
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…