In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

Among all measures of independence between random variables, mutual information is the only one that is based on information theory. Mutual information takes into account of all kinds of dependencies between variables, i.e., both the linear and non-linear dependencies. In this paper we have classified some well-known bivariate distributions into two classes of distributions based on their mutua...

$

Abstract In this paper we have presented a detailed simulation study of a distributed multiversion and a distributed two-phase locking concurrency control mechanisms. Our experiment concentrated on measuring the effect of message overhead, read:write ratios, data partitioning and partial replication on the performance of these mechanisms. The effect of these parameters has not been investigated...