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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A categorical approach to unification of generalised terms
- Characterizing determinacy in Kleene algebras
- Composing Partially Ordered Monads
- Determinisation of Relational Substitutions in Ordered Categories with Domain
- Domain and antidomain semigroups
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Kleene algebra with domain
- Kleene getting lazy
- NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
- Relation algebras: Concept of points and representability
- 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
- Set functors, \(L\)-fuzzy set categories, and generalized terms.
- Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
- Symmetric quotients and domain constructions
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)
