Results 1  10
of
90
Manysorted sets
 Journal of Formalized Mathematics
, 1993
"... Summary. The article deals with parameterized families of sets. When treated in a similar way as sets (due to systematic overloading notation used for sets) they are called many sorted sets. For instance, if x and X are two manysorted sets (with the same set of indices I) then relation x ∈ X is def ..."
Abstract

Cited by 194 (23 self)
 Add to MetaCart
Summary. The article deals with parameterized families of sets. When treated in a similar way as sets (due to systematic overloading notation used for sets) they are called many sorted sets. For instance, if x and X are two manysorted sets (with the same set of indices I) then relation x ∈ X is defined as ∀i∈Ixi ∈ Xi. I was prompted by a remark in a paper by Tarlecki and Wirsing: “Throughout the paper we deal with manysorted sets, functions, relations etc.... We feel free to use any standard settheoretic notation without explicit use of indices ” [6, p. 97]. The aim of this work was to check the feasibility of such approach in Mizar. It works. Let us observe some peculiarities: empty set (i.e. the many sorted set with empty set of indices) belongs to itself (theorem 133), we get two different inclusions X ⊆ Y iff ∀i∈IXi ⊆ Yi and X ⊑ Y iff ∀xx ∈ X ⇒ x ∈ Y equivalent only for sets that yield non empty values. Therefore the care is advised.
Many sorted algebras
 Journal of Formalized Mathematics
, 1994
"... Summary. The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between ..."
Abstract

Cited by 125 (14 self)
 Add to MetaCart
Summary. The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between (1 sorted) universal algebras [8] and many sorted algebras with one sort only is described by introducing two functors mapping one into the other. The construction is done this way that the composition of both functors is the identity on universal algebras.
Combining of Circuits
, 2002
"... this paper. 1. COMBINING OF MANY SORTED SIGNATURES Let S be a many sorted signature. A gate of S is an element of the operation symbols of S ..."
Abstract

Cited by 90 (24 self)
 Add to MetaCart
this paper. 1. COMBINING OF MANY SORTED SIGNATURES Let S be a many sorted signature. A gate of S is an element of the operation symbols of S
Boolean posets, posets under inclusion and products of relational structures
 Journal of Formalized Mathematics
, 1996
"... Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures. ..."
Abstract

Cited by 86 (17 self)
 Add to MetaCart
Summary. In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures.
Homomorphisms of many sorted algebras
 Journal of Formalized Mathematics
, 1994
"... Summary. The aim of this article is to present the definition and some properties of homomorphisms of many sorted algebras. Some auxiliary properties of many sorted functions also have been shown. ..."
Abstract

Cited by 69 (1 self)
 Add to MetaCart
Summary. The aim of this article is to present the definition and some properties of homomorphisms of many sorted algebras. Some auxiliary properties of many sorted functions also have been shown.
Cartesian product of functions
 Journal of Formalized Mathematics
, 1991
"... Summary. A supplement of [3] and [2], i.e. some useful and explanatory properties of the product and also the curried and uncurried functions are shown. Besides, the functions yielding functions are considered: two different products and other operation of such functions are introduced. Finally, two ..."
Abstract

Cited by 63 (20 self)
 Add to MetaCart
Summary. A supplement of [3] and [2], i.e. some useful and explanatory properties of the product and also the curried and uncurried functions are shown. Besides, the functions yielding functions are considered: two different products and other operation of such functions are introduced. Finally, two facts are presented: quasidistributivity of the power of the set to other one w.r.t. the union (X � x f (x) ≈ ∏x X f (x) ) and quasidistributivity of the product w.r.t. the raising to the power (∏x f (x) X ≈ (∏x f (x)) X).
On the Decomposition of the States of SCM
, 1993
"... This article continues the development of the basic terminology ..."
Abstract

Cited by 52 (1 self)
 Add to MetaCart
This article continues the development of the basic terminology
Subalgebras of many sorted algebra. Lattice of subalgebras
 Journal of Formalized Mathematics
, 1994
"... notation and terminology for this paper. ..."