8 citations · 11 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CT2018
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…
cs.FL2018
Derivation languages, descriptional complexity measures and decision problems of a class of flat splicing systems
Prithwineel Paul, Kumar Sankar Ray
In this paper, we associate the idea of derivation languages with flat splicing systems and compare the families of derivation languages (Szilard and control languages) of these sy…