Essential unifiers

DOI10.1016/J.JAL.2004.12.001MaRDI QIDQ2494722zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 30 June 2006

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2004.12.001

zbMATH Keywords

\(E\)-unificationequational theorypart orderingsubstitutionstermsunification theoryuniversal algebravarieties

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)

Review text

The authors propose some generalization of the notion of most general unifier for a free algebra of terms. This is called the essential unifier. Such approach opens a new view on classification of equational theories. The base of classification is the cardinality of minimal sets of unifiers. The main result of the paper is a theorem which establishes that for idempotent semigroups the set of essential unifiers always exists and is finite.

Recommendations

• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 3936507
• scientific article; zbMATH DE number 4053011
• scientific article; zbMATH DE number 4016225
• Unifying nominal unification
• Stabilizing unison
• Hints in Unification
• Generalizations of unification
• Unification through projectivity

Cites work

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• A Noetherian and confluent rewrite system for idempotent semigroups
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• On equational theories, unification, and (un)decidability
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Properties of substitutions and unifications
• The theory of idempotent semigroups is of unification type zero
• Unification theory
• Unification theory
• Unification under associativity and idempotence is of type nullary

Cited in

(7)

• Exact unification and admissibility
• What is essential unification?
• scientific article; zbMATH DE number 3858458 (Why is no real title available?)
• Unification, weak unification, upper bound, lower bound, and generalization problems
• E-unification based on generalized embedding
• Uninorm Basics
• scientific article; zbMATH DE number 966894 (Why is no real title available?)

This page was built for publication: Essential unifiers

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