7 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…
Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
Fitting's Heyting-valued logic and Heyting-valued modal logic have already been studied from an algebraic viewpoint. In addition to algebraic axiomatizations with the completeness…
Coalgebraic Fuzzy geometric logic
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal…
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…