Determinisation of relational substitutions in ordered categories with domain
DOI10.1016/J.JLAP.2010.07.017zbMATH Open1203.18007OpenAlexW2014657676MaRDI QIDQ604457FDOQ604457
Authors: 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
Recommendations
- Determinisation of Relational Substitutions in Ordered Categories with Domain
- scientific article; zbMATH DE number 1330136
- scientific article; zbMATH DE number 1953893
- Extensivity of categories of relational structures
- Abstract substitution in enriched categories
- Mechanised relation-algebraic order theory in ordered categories without meets
- Order-enriched categorical models of the classical sequent calculus
- Categories with families and first-order logic with dependent sorts
- Precomplete Equivalence Relations in Dominical Categories
- Publication:4886951
quotientsubstitutiondeterminacyunificationmembershiplocally-ordered categoryPERrelation domainrestricted residuals
Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Kleene algebra with domain
- Kleene getting lazy
- Relation algebras: Concept of points and representability
- Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
- Title not available (Why is that?)
- Symmetric quotients and domain constructions
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- Title not available (Why is that?)
- Characterizing determinacy in Kleene algebras
- 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
- Set functors, \(L\)-fuzzy set categories, and generalized terms.
- A categorical approach to unification of generalised terms
- Determinisation of Relational Substitutions in Ordered Categories with Domain
- Domain and antidomain semigroups
- Composing Partially Ordered Monads
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
Cited In (1)
Uses Software
This page was built for publication: Determinisation of relational substitutions in ordered categories with domain
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q604457)
