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

DOI10.1016/J.FSS.2012.06.007zbMATH Open1252.68194arXiv1209.5224OpenAlexW2003472066MaRDI QIDQ690918FDOQ690918

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

Publication date: 29 November 2012

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Densities of idempotent measures and large deviations
• Title not available (Why is that?)
• Continuous Lattices and Domains
• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• 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
• Continuous and dually continuous idempotent \(L\)-semimodules
• Fuzzy Logics with Noncommutative Conjuctions
• Capacities with values in compact Hausdorff lattices
• Title not available (Why is that?)
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Title not available (Why is that?)
• The Semantics of wlp and slp of Fuzzy Imperative Programming Languages
• Title not available (Why is that?)
• Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules

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)