From the 1 of 7 linked papers with an AI index.
7 papers
Higher-Dimensional Symbolic Dynamics: A Textile Framework For 3-graphs
Roozbeh Hazrat, Promit Mukherjee, Sujit Kumar Sardar
Textile systems are best known to model two-dimensional shifts of finite type. In this article, we associate a discrete algebra with a textile system and provide a groupoid model f…
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…
Maximal-Hull -Ideals, Congruence Closures, and Coherent Frames of Commutative Semirings
Pubali Sengupta, Amartya Goswami, Pronay Biswas +1
We develop a spectral theory of -ideals for commutative semirings. The lattice of -ideals is a \emph{coherent frame} for every commutative semiring -- u…
Radical-Ideal Functors, a Support Bifibration, and Quantale Completion for Commutative Semirings
Pronay Biswas, Amartya Goswami, Sujit Kumar Sardar
We organize ordinary, subtractive (-), and strong ideal theory of commutative semirings into a functorial framework. Radical extension is left adjoint to contraction and yields…
Higher-rank graphs and the graded -theory of Kumjian-Pask algebras
Roozbeh Hazrat, Promit Mukherjee, David Pask +1
This paper lays out the foundations of graded -theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potentia…
On the Subtractive Ideal Structure of Commutative Semirings
Pubali Sengupta, Amartya Goswami, Pronay Biswas +1
In the theory of commutative semirings, the lack of additive inverses creates a structural divergence between ideals and congruences that does not exist in ring theory. The aim of…