The study of structure systems, an abstraction of the concept of firstorder structures, is continued. Structure systems have algebraic systems rather than universal algebras as their algebraic reducts. Moreover, their relational component consists of a collection of relation systems on the underlying functors rather than simply a system of relations on a single set. Congruence systems of struct...

For distributive double p-algebras, a close connection is established between being congruence coherent and congruence regular. Every congruence regular distributive double p-algebra is congruence coherent. Even though every congruence coherent distributive double p-algebra that has either a non-empty core or finite range is congruence regular, an example is given that is congruence coherent bu...

To establish the correctness of some software w.r.t. its formal speciication is widely recognized as a diicult task. A rst simpliication is obtained when the semantics of an algebraic speciication is deened as the class of all algebras which correspond to the correct realizations of the speciication. A software is then declared correct if it corresponds to some algebra of this class. We approac...

???????????? ?????????????? ? ??????? (????????????????) ?????? ??????? ???????? (??? ????????? ?????????? ??????? ?????? ??? ??????????? ? ????????? ????????, ??????? ?????????? ????? ??????) ? ????? ? ???????? ??????????? ??????, ??????????????? ?????, ??????????, ?????????? ????????????? ????????? ??????????????? ????? ?????? ??????, ??????? ???????????? ??? ????????? ?????????? ????????? ??...

A strongly Fregean algebra is an such that the class of its homomorphic images and variety generated by this congruence modular. To understand structure these algebras we study prime intervals projectivity relation in posets their completely meet irreducible congruences show cosets have natural a Boolean group. In particular, approach allows us to represent elements as subsets upward closed wit...

A seminear-ring is a generalization of ring. In ring theory, if with the multiplicative identity, then endomorphism module isomorphic to . Let be seminear-ring. Here, we can construct set from itself denoted by We show that seminear-ring, also over addition and composition function. will apply congruence relation get quotient endomorphism. Furthermore, between c-ideal relations. So, c-ideal.

Fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. In this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. We focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. At last, fuzzy completecongruen...

We show that there exists an explicit descriptor state space format which actually describes all strictly passive transfer functions. A key advantage of this explicitly strictly passive descriptor state space format resides in its relation with congruence projection-based reduced order modeling, where the resulting reduced order model is also cast in this same format. Another advantage of the f...

Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, various proposals for compositional aggregation have been made. They rely on minimisation with respect to a congruence relation. This paper addre...