In this paper, with help of the concept of hyper-rationality, we model the interaction between two investment companies by an important game as trickery game that has special equilibrium which called hyper-equilibrium. In trickery game, one company can choose cooperation with another company until the last moment and finally changes his action to non-cooperation which incur more loss to an oppo...

Although deductive databases is based on a well established formalism, they didn't know the expected success. Their use was limited to the academic purpose. Indeed, the deductive database management systems are judged abstract, rare in commercial offers, and often expensive. In among the abstract concepts of the deductive databases, we mention the case of the negation and its treatment by the s...

This paper is concerned with the problem of combining deductive and object-oriented features to produce a deductive object-oriented database system which is comparable to those currently available under the relational view of data modelling not only in its functionality but also in the techniques employed in its construction and use. Under this assumption, we highlight the kinds of issues that ...

A three-level framework for design and implementation of deductive database management systems is described. The three levels consist of the abstraction, for abstracting the real world semantics, the language, for man-machine communication, and the environment, for specifying the hardware/software environment. This framework is applied to some representative systems. Based on the results, an ar...

There is given a construction of the entropy of a dynamical system on arbitrary MV-algebra M. If M is the MV-algebra of characteristic functions of a σ-algebra (isomorphic to the σ-algebra), then the construction leads to the Kolmogorov Sinaj entropy. If M is the MV-algebra (tribe) of fuzzy sets, then the construction coincides with the Maličký modification of the Kolmogorov Sinaj entropy for f...

It is observed that a CL-algebra (Classical Linear Algebra) contains within it a number of MV-algebras (Many-valued Algebras). A necessary and sufficient condition is obtained when a CL-algebra as a whole reduces to an MV-algebra. All the embedded MValgebras are characterised. A special MV-algebra called the Stem of the CL-algebra is studied to some depth. © 1998 Elsevier Science Inc. All right...

Abstract. A few things are known, and many are unknown, on the automorphism group of the free MV-algebra over n − 1 generators. In this paper we show that this group appears as the stabilizer of 1l in the larger group of all automorphisms of the free cancellative hoop over n generators. Both groups have a dual action on the same space, namely the (n − 1)-dimensional cube. The larger group has a...