From the 1 of 4 linked papers with an AI index.
4 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
The paper introduces a positive, negation‑free fragment of instantial neighbourhood logic, defines its syntax and proof system, and establishes typed completeness using persistent…
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…