A categorical approach to unication of generalised terms
2002 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 66, no 5, 41-45 p.Article in journal (Refereed) Published
Unification of generalised terms in a many-valued setting involves considerations for equalities in the sense of similarity degrees between operators and thus similarities between terms. Further, allowing for substitutions of variables with powersets of terms requires ‘flattening’ operators for handling composition of variable substitutions. These techniques are available when using powerset functors composed with the term functor so that this composition of functors is extendable to a monad. In this paper we provide a framework for unification of such generalised terms.
Place, publisher, year, edition, pages
Elsevier, 2002. Vol. 66, no 5, 41-45 p.
IdentifiersURN: urn:nbn:se:umu:diva-80612DOI: 10.1016/S1571-0661(04)80513-9OAI: oai:DiVA.org:umu-80612DiVA: diva2:650510
UNCL'2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)