$L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates
Category Theory
2012-09-25 v1 General Topology
Abstract
For a completely distributive quantale , -fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine continuous mappings between continuous -idempotent semimodules of -fuzzy monotonic predicates.
Keywords
Cite
@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}
}