SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Galan P) srt2:(2001-2004)"

Search: WFRF:(Galan P) > (2001-2004)

  • Result 1-3 of 3
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  • Eklund, P., et al. (author)
  • Similarities between powersets of terms
  • 2004
  • In: Fuzzy sets and systems (Print). - : Elsevier. - 0165-0114 .- 1872-6801. ; 144:1, s. 213-225
  • Journal article (peer-reviewed)abstract
    • Generalisation of the foundational basis for many-valued logic programming builds upon generalised terms in the form of powersets of terms. A categorical approach involving set and term functors as monads allows for a study of monad compositions that provide variable substitutions and compositions thereof. In this paper, substitutions and unifiers appear as constructs in Kleisli categories related to particular composed powerset term monads. Specifically, we show that a frequently used similarity-based approach to fuzzy unification is compatible with the categorical approach, and can be adequately extended in this setting; also some examples are included in order to illuminate the definitions.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-3 of 3
Type of publication
journal article (3)
Type of content
peer-reviewed (3)
Author/Editor
Medina, J (3)
Eklund, P (3)
Galán, M.A. (3)
Ojeda Aciego, M. (3)
Valverde, A. (3)
University
Umeå University (3)
Language
Undefined language (2)
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view