Generalization, also called anti-unification, is the dual of unification. A generalizer two terms t and $t^{\prime }$ a term \prime which are substitution instances. The most general equational unifiers that least generalizers, i.e., specific anti-instances modulo equations. In previous work, we extended classical untyped generalization algorithm to: (1) an order-sorted typed setting with sorts...

Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.

UCG-E (Hamel, 1991) is an equational logic programming system inspired by O’Donnell’s system (O’Donnell, 1985) and was designed to allow the integration of logic systems into imperative style programming environments. Equational logic systems are interesting, since they may be implemented very efficiently with term rewriting systems (Herman, 1991). Backtracking, a major source of inefficiencies...

OF THESIS THE ARABIC PARTICLES ‘INNA WA AḪAWA ̄TU-HA ̄ ’ AT THE SYNTAX-SEMANTICS INTERFACE In Arabic inna wa-aḫawātu-hā ‘inna and its related sisters’ are traditionally considered as verb-like particles. They are specified as introducing equational sentences and change their constituents’ case to a different pattern from what verbs do. Therefore, they are called nawāsiḫ in Arabic, or words that c...