An algebraic approach to multirelations and their properties

DOI10.1016/j.jlamp.2017.02.002zbMath1471.03088OpenAlexW2586587332WikidataQ128988463 ScholiaQ128988463MaRDI QIDQ516032

Walter Guttmann, Rudolf Berghammer

Publication date: 20 March 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.02.002

zbMATH Keywords

algebras of multirelationsAumann contactheterogeneous relationsmultirelational compositionreflexive-transitive closure

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02)

Uses Software

• Nitpick
• Sledgehammer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multirelations with infinite computations
• Contact, closure, topology, and the linking of row and column types of relations
• Symmetric quotients and domain constructions
• Partiality. I: Embedding relation algebras
• Angelic nondeterminism in the unifying theories of programming
• Modelling angelic and demonic nondeterminism with multirelations
• Kleene getting lazy
• Propositional dynamic logic of regular programs
• Towards a refinement algebra
• A Relation-Algebraic Approach to Multirelations and Predicate Transformers
• Algebra of Monotonic Boolean Transformers
• Ordnungen, Verbände und Relationen mit Anwendungen
• Closure, Properties and Closure Properties of Multirelations
• Relational Formalisations of Compositions and Liftings of Multirelations
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• Concurrent dynamic logic
• Refinement Calculus
• The algebra of multirelations
• Extending Sledgehammer with SMT Solvers
• Concurrent Dynamic Algebra
• Taming Multirelations
• Monotone Predicate Transformers as Up-Closed Multirelations
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
• Theory and Applications of Relational Structures as Knowledge Instruments