A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We ...

Models for the substitution axiom of UNITY logic · Contents. Information Processing Letters. Volume 48, Issue 4 · PREVIOUS ARTICLE. A description of dynamic ...

A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We ...

Reichwein, G. ; Fiadeiro, J.L. / Models for the substitution axiom of UNITY logic. In: Information Processing Letters. 1993 ; Vol. 48, No. 4. pp. 171-176.

Fingerprint. Dive into the research topics of 'Models for the substitution axiom of UNITY logic'. Together they form a unique fingerprint.

The UNITY substitution axiom, “if (x=y) is an invariant of a program, then x can be replaced by y in any property of the program”, is problemat.

UNITY Logic. SSV 2014. 10 / 19. Page 11. The Substitution Axiom. An invariant may be replaced by true, and vice versa, in any property of a program. Example 1 ...

Jun 1, 1991 · The UNITY substitution axiom, “if (x=y) is an invariant of a program, then x can be replaced by y in any property of the program”, is ...

UNITY is an abstract formalism for proving properties of concurrent systems, which typically are expressed using guarded assignments [Chandy and Misra 1988] ...

Abstract. This essay discusses rules and semantic clauses relating to Substitution—Leibniz's law in the conjunctive-implicational form s ˙= t ∧ A(s) ...