Scifaro

中文

作为单调谓词半模间 $L$-幂等线性或仿射算子的 $L$-模糊最强后验谓词变换器

范畴论 2012-09-25 v1 一般拓扑

作者: Oleh Nykyforchyn , Dušan Repovš

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

对于完全分配量格 $L$ ，引入了 $L$ -模糊最强后验谓词变换器，并证明了在合理假设下，它们是 $L$ -模糊单调谓词的连续 $L$ -幂等半模之间的线性或仿射连续映射。

关键词

$L$-模糊最强后验谓词变换器完全分配量格 $L$-幂等半模线性算子仿射算子单调谓词

引用

@article{arxiv.1209.5224,
  title  = {$L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates},
  author = {Oleh Nykyforchyn and Dušan Repovš},
  journal= {arXiv preprint arXiv:1209.5224},
  year   = {2012}
}