The segregation of centromeres and telomeres at mitosis is coordinated at multiple levels to prevent the formation of aneuploid cells, a phenotype frequently observed in cancer. Mitotic instability arises from chromosome segregation defects, giving rise to chromatin bridges at anaphase. Most of these defects are corrected before anaphase onset by a mechanism involving Aurora B kinase, a key reg...

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A ∨ B , a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunct...

Reasoning, solving mathematical equations, or planning written and spoken sentences all must factor in stimuli perceptual properties. Indeed, thinking processes are inspired by and subsequently fitted to concrete objects and situations. It is therefore reasonable to expect that the mental representations evoked when people solve these seemingly abstract tasks should interact with the properties...

The systematic conjunction and disjunction fallacies seen in people’s probability judgments appear to show that people do not reason according to the rules of probability theory. In an experiment examining people’s judgments of the probability of different medical conditions, we find evidence against this view. In this experiment people’s probability judgments closely followed the fundamental ‘...

The retrofit of multiproduct batch plants treats the modification of the original configuration of the plant to satisfy new production conditions (new products, new demand pattern, etc.). A disjunctive model is presented to solve this problem that includes all the usual alternatives in this kind of problems. A disjunction is generated for each batch stage considering all the feasible configurat...

Mitotic spindle formation and chromosome segregation require timely separation of the two duplicated centrosomes, and this process is initiated in late G2 by centrosome disjunction. Here we report that GAS2L1, a microtubule- and actin-binding protein, associates with the proximal end of mature centrioles and participates in centriole dynamics and centrosome disjunction. GAS2L1 attaches microtub...

(c) A multivalued logz'c in which truth values are in the interval (O, 1 J and the valuation of a disjunction is the maximum of the disjuncts, whilst that of a conjunction zs the minimum of the conjuncts. This narrow definition encompasses the population stereotype of a 'fuzzy logic' [4-9]. It is interesting that most infinitely-v~ued MVLs [13] have min/max connectives for conjunction/disjuncti...

This article develops a Gricean account for the computation of scalar implicatures in cases where one scalar term is in the scope of another. It shows that a cross-product of two quantitative scales yields the appropriate scale for many such cases. One exception is cases involving disjunction. For these, I propose an analysis that makes use of a novel, partially ordered quantitative scale for d...

This article proposes a model for the computation of scalar implicatures in cases where one scalar term is in the scope of another. It shows that a crossproduct of two quantitative scales yields the appropriate scale for many such cases. One exception are cases involving disjunction. Here, it proposes a treatment that makes use of a novel, partially ordered scale for disjunction and capitalizes...

We define a variant of first-order logic that deals with data words, data trees, data graphs etc. The definition of the logic is based on Fraenkel-Mostowski sets (FM sets, also known as nominal sets). The key idea is that we allow infinite disjunction (and conjunction), as long as the set of disjuncts (conjunct) is finite modulo renaming of data values. We study model theory for this logic; in ...