Decidability of Lattice Equations

We provide an alternative proof of the decidability of the equational theory of lattices. The proof presented here is quite short and elementary.

Saved in:

Bibliographic Details
Published in:	Studia logica Vol. 112; no. 3; pp. 607 - 610
Main Author:	Galatos, Nikolaos
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Netherlands 01-06-2024
Subjects:	Computational Linguistics Education Logic Mathematical Logic and Foundations Philosophy Decidability Residuated frame Lattice Equational theory
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	We provide an alternative proof of the decidability of the equational theory of lattices. The proof presented here is quite short and elementary.
ISSN:	0039-3215 1572-8730
DOI:	10.1007/s11225-023-10063-4