5 papers
A Lindström Theorem for Fitting's Modal Logic over a Finite Heyting Algebra
Litan Kumar Das
We establish a Lindström-style maximality theorem for Maruyama's exact-truth-test presentation of Fitting's modal logic over a fixed finite Heyting algebra and crisp Kripke frames.…
A Bitopological Approach to Finite Reduction and Bounded Exact-Value Certificates for Fitting's Finite Heyting-valued Modal Logic
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
Fitting's finite Heyting-valued modal logic interprets modal formulas over a finite Heyting algebra. We use a relational bitopological representation to obtain a finite-state reduc…
Positive Instantial Neighbourhood logic: Typed Completeness and Admissible-Open Representation
Litan Kumar Das, Anupam Khanra, Sujit Kumar Sardar
Instantial neighbourhood logic is a modal language for neighbourhood frames in which formulas can express information about the kinds of worlds occurring inside a neighbourhood of…
Bitopological Duality for Algebras of Fittings logic and Natural Duality extension
Litan Kumar Das, Kumar Sankar Ray
In this paper, we investigate a bitopological duality for algebras of Fitting's multi-valued logic. We also extend the natural duality theory for by d…
Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic
Kumar Sankar Ray, Litan Kumar Das
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean sys…