This note is viewing survival data of a natural cohort as being generated by a possibly nonlinear, nonhomogeneous death process. It proves that the usual conditional distributions of the number of survivors at a certain age are binomial if and only if the death process is linear. Thus the customary statistical methods for the analysis of life table data are, strictly speaking, invalid whenever the underlying death process is nonlinear. For example, if a contagious disease is the cause of some (...) or all of the deaths, the deaths will not be independent and the death process, not linear. One should then base the statistical analysis on a model for the spread of the disease rather than the routine binomial model. (shrink)

We study a predicate extension of an unbounded real valued propositional logic that has been recently introduced. The latter, in turn, can be regarded as an extension of both the abelian logic and of the propositional continuous logic. Among other results, we prove that our predicate extension satisfies the property of weak completeness (the equivalence between satisfiability and consistency) and, under an additional assumption on the set of premisses, the property of strong completeness (the equivalence between logical consequence and provability). (...) Eventually we discuss some topological properties of the space of types in our logic. (shrink)

A proposition is associated in classical mechanics with a subset of phase space, in quantum logic with a projection in Hilbert space, and in both cases with a 2-valued observable or test. A theoretical statement typically assigns a probability to such a pure test. However, since a pure test is an idealization not realizable experimentally, it is necessary — to give such a statement a practical meaning — to describe how it can be approximated by feasible tests. This gives rise (...) to a search for a formal representation of feasible tests, which leads via mixed tests (weighted means of pure tests) to vague tests (convex sets of mixed tests). A model is described in which the latter form a continuous lattice; the pure and mixed tests are the maximal elements and the feasible tests form a basis. Each type of test has its own logic; this is illustrated by the passage from mixed tests to pure tests, which corresponds to the transition from L to classical logic. (shrink)

It is shown that the physics and semantics of quantum measurement provide a natural interpretation of the weak neighborhoods of the states on observable algebras without invoking any idea of “a reading error” or “a measured range.” Then the state preparation process in quantum measurement theory is shown to give the normal (or locally normal) states on the observable algebra. Some remarks are made concerning the physical implications of normal states for systems with an infinite number of degrees of freedom, (...) including questions on open and closed algebraic theories. (shrink)

Perforation or gap formation in a vegetation is a major process in landscape transformation. The occurrence of gaps profoundly alters the microclimatical conditions in a vegetation. A method is proposed to quantify perforation by using the three main 2-D characteristics of the gaps: area, number and boundary length. New measures are developed by normalizing the observed values to the reference status of minimum and maximum perforation. As minimum perforation status, the presence of one single gap with area equal to the (...) map resolution is assumed. The new measures are combined using a 3-D Euclidean distance to visualize the process and to detect changes. The method is exemplified using a field case of gaps in a tropical terra firme rainforest at Tiputini, Ecuador. (shrink)

The D-CTC condition, introduced by David Deutsch as a condition to be fulfilled by analogues for processes of quantum systems in the presence of closed timelike curves, is investigated for classical statistical bi-partite systems. It is shown that the D-CTC condition can generically be fulfilled in classical statistical systems, under very general, model-independent conditions. The central property used is the convexity and completeness of the state space that allows it to generalize Deutsch’s original proof for q-bit systems to more general (...) classes of statistically described systems. The results demonstrate that the D-CTC condition, or the conditions under which it can be fulfilled, is not characteristic of, or dependent on, the quantum nature of a bi-partite system. (shrink)

The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...) with ⊢Δ coincides with ⊨Δ. (shrink)