Decidability of lattice equations
From MaRDI portal
Publication:6562367
Cites work
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- A Simple Solution to the Word Problem for Lattices
- Free lattices
- Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.
- Permutability of rules in lattice theory.
- Residuated frames with applications to decidability
- Residuated lattices. An algebraic glimpse at substructural logics
This page was built for publication: Decidability of lattice equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562367)