Back to Search
Start Over
Determinisation of relational substitutions in ordered categories with domain
- Source :
-
Journal of Logic & Algebraic Programming . Nov2010, Vol. 79 Issue 8, p812-829. 18p. - Publication Year :
- 2010
-
Abstract
- Abstract: Restating a unification problem as a single relational substitution instead of as multiple functional substitutions (or terms), a solution becomes a “determiniser” arrow and allows formalisation in the context of locally ordered categories with domain. This relies on the determinacy concept of “characterisation by domain” introduced by Desharnais and Möller for Kleene algebras with domain; this is here applied in the weakest possible setting. We show how “most general determinisers” can be seen as generalisation of quotient projections of partial equivalence relations, and show a characterisation that manages to avoid using converse or symmetry by employing restricted residuals instead. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15678326
- Volume :
- 79
- Issue :
- 8
- Database :
- Academic Search Index
- Journal :
- Journal of Logic & Algebraic Programming
- Publication Type :
- Academic Journal
- Accession number :
- 54100413
- Full Text :
- https://doi.org/10.1016/j.jlap.2010.07.017