Ambiguous representations of semilattices, imperfect information, and predicate transformers

DOI10.1007/s11083-019-09508-0zbMath1481.06021arXiv1904.11736OpenAlexW2989295512WikidataQ126831858 ScholiaQ126831858MaRDI QIDQ781536

Oksana Mykytsey, O. R. Nykyforchyn

Publication date: 17 July 2020

Published in: Order (Search for Journal in Brave)

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

zbMATH Keywords

imperfect informationambiguous representationcontinuous semilatticeduality of categories

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semilattices (06A12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dialogue categories and chiralities
• Ambiguous representations as fuzzy relations between sets
• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
• Duality and separation theorems in idempotent semimodules.
• Capacities with values in compact Hausdorff lattices
• Densities of idempotent measures and large deviations
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Fuzzy Logics with Noncommutative Conjuctions
• Continuous Lattices and Domains

This page was built for publication: Ambiguous representations of semilattices, imperfect information, and predicate transformers