We have chosen Evans' definition, which we call weak equality, as it is too weak to allow one to define totality of a partial function (except by definitions ...

Modular Proof Systems for Partial Functions with Weak Equality. Conference paper. pp 168–182; Cite this conference paper. Download book PDF · Automated ...

In Section 2, we will describe the logic of partial functions we are working with. The logic is that of weak equality in the sense of Evans [10]. This logic ...

Modular Proof Systems for Partial Functions with Weak Equality. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann. In David Basin and Michaël ...

The paper presents a modular superposition calculus for the combination of rst- order theories involving both total and partial functions.

Modular Proof Systems for Partial Functions with Weak Equality. 169 superposition inferences are restricted to be pure. Superposition is refutationally.

Modular proof systems for partial functions with weak equality. David Basin, Michaël Rusinowitch (Eds.), Automated Reasoning: Second International Joint ...

Abstract: The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. The ...

Abstract: The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity ...

Sep 4, 2024 · Modular Proof Systems for Partial Functions with Weak Equality. IJCAR 2004: 168-182; 2003. [c10]. view. electronic edition via DOI; unpaywalled ...