On the Equational Theory of Lattice-Based Algebras for Layered Graphs
Year: 2025
Type: article
Abstract: Layered algebras are introduced and used to express layered graphs. Layered graphs are considered to be a highly effective abstract tool to manage the difficulty in conceptualizing and reasoning regarding complex systems related to coding in email exchange and access control in security. In the present paper, we study the varieties of several classes of lattice-based layer algebras and show that all these varieties have decidable equational theory via a finite model property.
Source: Axioms
Authors: Zhe Yu, Hao Zhan, Yiheng Wang, Zhe Lin, Fei Liang
Institutions: Sun Yat-sen University, Xiamen University, Shandong University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $2,896
OpenAlex ID: W4408937551