Sökning: onr:"swepub:oai:DiVA.org:umu-21918" >
Powersets of terms ...
-
Eklund, PatrikUmeå universitet,Institutionen för datavetenskap
(författare)
Powersets of terms and composite monads
- Artikel/kapitelEngelska2007
Förlag, utgivningsår, omfång ...
-
Amsterdam :North-Holland,2007
-
printrdacarrier
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:art swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
-
Composite monads
-
generalized terms
-
many-valued logic
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Galan, M. A.
(författare)
-
Medina, J.
(författare)
-
Ojeda-Aciego, M.
(författare)
-
Valverde, A.
(författare)
-
Umeå universitetInstitutionen för datavetenskap
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Fuzzy sets and systems (Print)Amsterdam : North-Holland158:23, s. 2552-25740165-01141872-6801
Internetlänk
Hitta via bibliotek
Till lärosätets databas