A framework for unication using powersets of terms
Patrik Eklund, Galán, Jesús Medina, Manuel Ojeda Aciego, Agustín Valverde · Information Processing and Management of Uncertainty · 2002
Many-valued logic programming with generalised terms requires an extended notion of unification in order to handle powersets of terms. In this paper we present substitutions and unifiers in a categorical framework based on powersets of terms as monads. We build upon developments for monad compositions initiated in [4].