Relating multifunctions and predicate transformers through closure operators

DOI10.1007/3-540-57887-0_127MaRDI QIDQ4490763zbMATH OpenFDO

Authors Marcello M. Bonsangue, Joost N. Kok

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_127

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A relation-algebraic approach to multirelations and predicate transformers
• The closure operator in a multi-valued logic based on functional equations
• scientific article; zbMATH DE number 4189691
• scientific article; zbMATH DE number 64169
• Context-sensitive transitive closure operators
• Closure operators with predicate branching
• scientific article; zbMATH DE number 2162209
• Predicate transformers and higher-order programs
• Closure operators associated with relations
• Monotone Predicate Transformers as Up-Closed Multirelations

Cited in

(5)

• Type theories and object-oriented programmimg
• Type extensions
• scientific article; zbMATH DE number 814802 (Why is no real title available?)
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Duality beyond sober spaces: Topological spaces and observation frames

This page was built for publication: Relating multifunctions and predicate transformers through closure operators

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