Determinisation of relational substitutions in ordered categories with domain

DOI10.1016/J.JLAP.2010.07.017MaRDI QIDQ604457zbMATHOpenAlexFDO

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

zbMATH Keywords

quotientsubstitutiondeterminacyunificationmembershiplocally-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)

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

Cites work

• scientific article; zbMATH DE number 3683841 (Why is no real title available?)
• scientific article; zbMATH DE number 44213 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 51717 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1086635 (Why is no real title available?)
• scientific article; zbMATH DE number 3999263 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• 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)

• Determinisation of Relational Substitutions in Ordered Categories with Domain

Describes a project that uses

Uses Software

• Z

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)