Search: id:"swepub:oai:DiVA.org:umu-21918" >
Powersets of terms ...
-
Eklund, PatrikUmeå universitet,Institutionen för datavetenskap
(author)
Powersets of terms and composite monads
- Article/chapterEnglish2007
Publisher, publication year, extent ...
-
Amsterdam :North-Holland,2007
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:umu-21918
-
https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-21918URI
-
https://doi.org/10.1016/j.fss.2007.06.002DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:art swepub-publicationtype
Notes
-
Composing various powerset functors with the term monad gives rise to the concept of generalized terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the prerequisite for categorical unification in many-valued logic programming using an extended notion of terms. As constructions of monads involve complicated calculations with natural transformations, proofs are supported by a graphical approach that provides a useful tool for handling various conditions, such as those well known for distributive laws. (C) 2007 Elsevier B.V. All rights reserved.
Subject headings and genre
-
Composite monads
-
generalized terms
-
many-valued logic
Added entries (persons, corporate bodies, meetings, titles ...)
-
Galan, M. A.
(author)
-
Medina, J.
(author)
-
Ojeda-Aciego, M.
(author)
-
Valverde, A.
(author)
-
Umeå universitetInstitutionen för datavetenskap
(creator_code:org_t)
Related titles
-
In:Fuzzy sets and systems (Print)Amsterdam : North-Holland158:23, s. 2552-25740165-01141872-6801
Internet link
Find in a library
To the university's database