umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Powersets of terms and composite monads
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Show others and affiliations
2007 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 158, no 23, 2552-2574 p.Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Amsterdam: North-Holland , 2007. Vol. 158, no 23, 2552-2574 p.
Keyword [en]
Composite monads, generalized terms, many-valued logic
Identifiers
URN: urn:nbn:se:umu:diva-21918DOI: 10.1016/j.fss.2007.06.002ISI: 000250744700002ISBN: 0165-0114 (print)OAI: oai:DiVA.org:umu-21918DiVA: diva2:212170
Available from: 2009-04-21 Created: 2009-04-21 Last updated: 2017-12-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
In the same journal
Fuzzy sets and systems (Print)

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 54 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf