Sökning: onr:"swepub:oai:DiVA.org:umu-21918" >
Powersets of terms ...
Powersets of terms and composite monads
-
- Eklund, Patrik (författare)
- Umeå universitet,Institutionen för datavetenskap
-
Galan, M. A. (författare)
-
Medina, J. (författare)
-
visa fler...
-
Ojeda-Aciego, M. (författare)
-
Valverde, A. (författare)
-
visa färre...
-
(creator_code:org_t)
- Amsterdam : North-Holland, 2007
- 2007
- Engelska.
-
Ingår i: Fuzzy sets and systems (Print). - Amsterdam : North-Holland. - 0165-0114 .- 1872-6801. ; 158:23, s. 2552-2574
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Nyckelord
- Composite monads
- generalized terms
- many-valued logic
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas