Akademska digitalna zbirka SLovenije - logo
(UL)
  • ▫$L$▫-fuzzy strongest postcondition predicate transformers as ▫$L$▫-idempotent linear or affine operators between semimodules of monotonic predicates
    Nikiforčin, Oleg Rostislavovič, 1970- ; Repovš, Dušan, 1954-
    For a completely distributive quantale ▫$L$▫, ▫$L$▫-fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine ... continuous mappings between continuous ▫$L$▫-idempotent semimodules of ▫$L$▫-fuzzy monotonic predicates.
    Vir: Fuzzy sets and systems : international journal of soft computing and intelligence. - ISSN 0165-0114 (Vol. 208, 2012, str. 67-78)
    Vrsta gradiva - članek, sestavni del
    Leto - 2012
    Jezik - angleški
    COBISS.SI-ID - 16389721

    Povezava(-e):

    http://dx.doi.org/10.1016/j.fss.2012.06.007

Vnos na polico