Products of Many Sorted Algebras

@inproceedings{Madras1994ProductsOM,
  title={Products of Many Sorted Algebras},
  author={Beata Madras},
  year={1994}
}
  • Beata Madras
  • Published 1994
For simplicity we follow the rules: I, J denote sets, A, B denote many sorted sets of I, i, j, x are arbitrary, and S denotes a non empty many sorted signature. A set has common domain if: (Def.1) For all functions f , g such that f ∈ it and g ∈ it holds dom f = dom g. Let us mention that there exists a set which is functional and non empty and has common domain. The following proposition is true (1) {∅} is a functional set with common domain. Let X be a functional set with common domain. The… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS