Metastructures and metaterms have been proposed to extend Prolog systems 6, 5]. They enable special purpose uniications to be speciied. They are useful to implement for example coroutining and new domains of computation. In both cases, information is attached to variables, which then are encoded with metaterms or metastructures. This information must be taken into account during uniication. Pro...

Consider two graphs G1 and G2 on the same vertex set V and suppose that Gi has mi edges. Then there is a bipartition of V into two classes A and B so that for both i = 1, 2 we have eGi(A,B) ≥ mi/2 − √ mi. This answers a question of Bollobás and Scott. We also prove results about partitions into more than two vertex classes.

In the present paper several q−integral inequalities are presented, some of them are new and others are generalizations of known results.

Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of “logical consequence” or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneou...