کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4663326 1345254 2006 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Essential unifiers
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Essential unifiers
چکیده انگلیسی

A substitution δ is less general than a substitution σ if there exists λ   such that δ=σ⋅λδ=σ⋅λ, which induces a notion of generality in the algebra of substitutions. We propose to look at this well known concept of generality again, and to impose a new quasi ordering on substitutions as a natural result of a stronger notion of the composition of substitutions. This new generality ordering has important consequences for the theory of E-unification (unification in equational theories) and changes the basic notion of the most general unifiers, now called essential unifiers, as well as the unification hierarchy. In particular we show that for idempotent Semigroups (associativity and idempotency), also known as Bands, the set of essential unifiers always exists and is finite.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 4, Issue 1, March 2006, Pages 1–25
نویسندگان
, ,