Decidability of Lattice Equations
STUDIA LOGICA(2023)
Abstract
We provide an alternative proof of the decidability of the equational theory of lattices. The proof presented here is quite short and elementary.
MoreTranslated text
Key words
Lattice,Decidability,Equational theory,Residuated frame
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined