Semantics encoding: Difference between revisions

Revision as of 11:34, 20 April 2005

Revision as of 11:43, 20 April 2005

Line 17:

=== Preservation of compositions ===

; soundness : For every n-ary operator <math>op_A</math> of A, there isexists an n-ary operator <math>op_B</math> of B such that

:<math>\forall T_A^1,T_A^2,\dots,T_A^n, [op_A(T_A^1,T_A^2,\cdots,T_A^n)] = op_B([T_A^1],[T_A^2],\cdots,[T_A^n])</math>

; completeness : For every n-ary operator <math>op_A</math> of A, there isexists an n-ary operator <math>op_B</math> of B such that

:<math>\forall T_B^1,T_B^2,\dots,T_B^n, \exists T_A^1,\dots,T_A^n, op_B(T_B^1,\cdots,T_B^N) = [op_A(T_A^1,T_A^2,\cdots,T_A^n)]</math>