Su cient completeness means that enough equations have been speci ed, so that the functions of an equational speci cation are fully de ned on all relevant data. This is important for both debugging and formal reasoning. In this work we extend su cient completeness methods to handle expressive speci cations involving: (i) partiality; (ii) conditional equations; and (iii) deductionmodulo axioms. ...

Tarski showed that mathematics can be built up in the equational theory EqRA of relation algebras (RA's), hence EqRA is undecidable. He raised the problem "how much associativity of relation composition is needed for this result." Maddux defined the classes NA 3 WA "J SA D RA by gradually weakening the associativity of relation composition, and he proved that the equational theory of SA is stil...

Let A be a finite set with |A| ≥ 2. The composition of two classes I and J of operations on A, is defined as the set of all composites f(g1, . . . , gn) with f ∈ I and g1, . . . , gn ∈ J . This binary operation gives a monoid structure to the set EA of all equational classes of operations on A. The set EA of equational classes of operations on A also constitutes a complete distributive lattice ...

We develop a semantic theory based on testing for a minor variant of the-calculus. The resulting semantic equivalence can be characterised using of acceptance sets and can also be characterised as an equational theory. We deene a class of interpretations for the-calculus and construct one which is fully-abstract. Moreover the interpretation we construct is initial in the class of all fully-abst...

in this paper, the concept of fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) of an ordered group (resp. lattice-ordered group) is introduced and some properties, characterizations and related results are given. also, the fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) generated by a fuzzy subgroup (resp. fuzzy subsemigroup) is characterized. furthermore,...

in this paper, we introduce a new class of implicit functions and also common property (e.a) in modified intuitionistic fuzzy metric spaces and utilize the same to prove some common fixed point theorems in modified intuitionistic fuzzy metric spaces besides discussing related results and illustrative examples. we are not aware of any paper dealing with such implicit functions in modified intuit...

In this paper, we introduce a new class of contractive mappings in a fuzzy metric space and we present fixed point results for this class of maps.