works on
algebraic semantics 1bitopological representation 1instantial neighbourhood logic 1positive fragment 1typed completeness 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing math.DSShow all

1 paper · 1 filter

math.DS2026

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…