Determinisation of relational substitutions in ordered categories with domain

DOI10.1016/J.JLAP.2010.07.017zbMath1203.18007OpenAlexW2014657676MaRDI QIDQ604457

Wolfram Kahl

Publication date: 11 November 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.017

zbMATH Keywords

unificationdeterminacyquotientsubstitutionmembershiplocally-ordered categoryPERrelation domainrestricted residuals

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Uses Software

• Z

Cites Work

• Symmetric quotients and domain constructions
• Kleene getting lazy
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1--5, 2009. Proceedings
• Relation algebras: Concept of points and representability
• Characterizing determinacy in Kleene algebras
• Set functors, \(L\)-fuzzy set categories, and generalized terms.
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
• A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.
• Determinisation of Relational Substitutions in Ordered Categories with Domain
• Domain and Antidomain Semigroups
• Composing Partially Ordered Monads
• NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
• Kleene algebra with domain
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Determinisation of relational substitutions in ordered categories with domain