3 papers
cs.LO2026
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…
cs.LO2023
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…
cs.LO2022
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…