Decidability of lattice equations

DOI10.1007/S11225-023-10063-4MaRDI QIDQ6562367FDOQ6562367

Authors: Nikolaos Galatos 

Publication date: 26 June 2024

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

latticedecidabilityequational theoryresiduated frame

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Free lattices
• Permutability of rules in lattice theory.
• A Simple Solution to the Word Problem for Lattices
• Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.

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)