Testing for a semilattice term

DOI10.1007/S11083-018-9455-6MaRDI QIDQ1732802zbMATH OpenOpenAlexWikidataFDO

Authors Ralph Freese, J. B. Nation, Matthew Valeriote

Publication date 25 March 2019

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11083-018-9455-6

zbMATH Keywords

computational complexityidempotent algebrasemilattice term

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Semilattices (06A12) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Deciding the existence of minority terms
• scientific article; zbMATH DE number 1304317
• Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
• Checking quasi-identities in a finite semigroup may be computationally hard.
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 7359806 (Why is no real title available?)
• Algebras Whose Congruence Lattices are Distributive.
• COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE
• Computational complexity of various Mal'cev conditions
• Congruence-distributive polynomial reducts of lattices
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
• Idempotent \(n\)-permutable varieties.
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
• Simple equations on real intervals
• The shape of congruence lattices
• The structure of finite algebras
• Universal algebra. Fundamentals and selected topics

Cited in

(5)

• Logic for Programming, Artificial Intelligence, and Reasoning
• Testing for edge terms is decidable
• Deciding the existence of minority terms
• Mal'tsev condition satisfaction problems for conditions which imply edge terms
• Extending semilattices is hard

This page was built for publication: Testing for a semilattice term

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1732802)