Back to Search
Start Over
Decidability of Lattice Equations.
- Source :
- Studia Logica; Jun2024, Vol. 112 Issue 3, p607-610, 4p
- Publication Year :
- 2024
-
Abstract
- We provide an alternative proof of the decidability of the equational theory of lattices. The proof presented here is quite short and elementary. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00393215
- Volume :
- 112
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Studia Logica
- Publication Type :
- Academic Journal
- Accession number :
- 177559968
- Full Text :
- https://doi.org/10.1007/s11225-023-10063-4