We derive all inequalities in the Greenberger-Horne-Zeilinger (GHZ) case as well as for two particles with spin state measurements in three directions.

We investigate the asymptotic number of elements of size n in a particular class of closed lambda-terms (so-called BCI(p)-terms) which are generalizations of lambdaterms related to axiom systems of combinatory logic. By deriving a differential equation for the generating function of the counting sequence we obtain a recurrence relation which can be solved asymptotically. We derive differential ...

It has been known for some time that Learning Classifier Systems (Holland, 1986) have potential for application as Data Mining tools. Parodi and Bonelli (1990) applied the Boole LCS (Wilson, 1985) to a Lymphography data set and reported 82% classification rates. More recent work, such as GA-Miner (Flockhart, 1995) has sought to extend the application of LCS to larger commercial data sets, intro...

Natural languages can express some logical propositions that humans, with similar cultural traditions, are able to immediately and correctly compute. We illustrate this fact with a famous text that Arthur Conan Doyle attributed to Sherlock Holmes: the “old maxim” mentioned in “The Adventure of the Beryl Coronet”, where Holmes said: “It is an old maxim of mine that when you have excluded the imp...

Проводится разбор и анализ небольшой статьи Джорджа Буля, опубликованной на следующий год после выхода его знаменитой работы «Математический логики». Исследуется вопрос о том, насколько ее можно рассматривать как адекватный репрезентативный обзор логической концепции. Также исследуются математические, экстралогические философские основания логики Буля. Указывается, что математическим основанием...

0. Introduction Many people understand the expression “formal logic” as meaning modern mathematical logic by opposition to traditional logic before the revolution that happened in the second part of the 19 century with Boole, Frege and others. But in fact this expression was created by Kant (see Scholz 1931). Some people like to quote a excerpt of the preface of the second edition of the Critic...

Jacob ~th~ lhe author's startin 6 point is the conception of the ~enerative transformational grammars about the verb and its subcate6orization m, les.ln the author's conception zne t~ansitivity of verbs is understood as a lar6e ca-t~c, ory ,:hich is not restricted to the government of accusative .hence the verbal government is a syntactic and ~em~L~tic c~tegory which determines the relations in...

We consider the problem of defining conditional objects (a|b), which would allow one to regard the conditional probability Pr(a|b) as a probability of a well-defined event rather than as a shorthand for Pr(ab)/Pr(b). The next issue is to define boolean combinations of conditional objects, and possibly also the operator of further conditioning. These questions have been investigated at least sin...