L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates

DOI10.1016/J.FSS.2012.06.007MaRDI QIDQ690918zbMATH OpenOpenAlexFDO

Authors O. R. Nykyforchyn, Dušan Repovš

Publication date 29 November 2012

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.5224

zbMATH Keywords

linear operatoridempotent semimodulestrongest postconditionmonotonic predicate

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Abstract: 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.

Recommendations

• \(L\)-idempotent linear operators between predicate semimodules, dual pairs and conjugate operators
• A duality between LM-fuzzy possibility computations and their logical semantics
• scientific article; zbMATH DE number 6263265
• Continuous and dually continuous idempotent \(L\)-semimodules
• Some results on \(L\)-complete lattices

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1223625 (Why is no real title available?)
• scientific article; zbMATH DE number 1047687 (Why is no real title available?)
• scientific article; zbMATH DE number 2087426 (Why is no real title available?)
• Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules
• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• Capacities with values in compact Hausdorff lattices
• Continuous Lattices and Domains
• Continuous and dually continuous idempotent \(L\)-semimodules
• Densities of idempotent measures and large deviations
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Fuzzy Logics with Noncommutative Conjuctions
• Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
• Guarded commands, nondeterminacy and formal derivation of programs
• Reasoning about probabilistic sequential programs in a probabilistic logic
• The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages

Cited in

(3)

• \(L\)-idempotent linear operators between predicate semimodules, dual pairs and conjugate operators
• Rough games modeled via \(L\)-fuzzy ambiguous representations of semilattices
• Ambiguous representations of semilattices, imperfect information, and predicate transformers

This page was built for publication: \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690918)