1 citations · 1 across the 6 of their papers we have counts for
Showing 2022 · math.LOShow all
2 papers · 2 filters
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…
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…