‎Suppose that $X_{t}$ is a one-dimensional and real-valued L'evy‎ ‎process started from $X_0=0$‎, ‎which ({bf 1}) its nonnegative‎ ‎jumps measure $nu$ satisfying $int_{Bbb‎ ‎R}min{1,x^2}nu(dx)

We present a construction of a Lévy continuum random tree (CRT) associated with a super-critical continuous state branching process using the so-called exploration process and a Girsanov theorem. We also extend the pruning procedure to this super-critical case. Let ψ be a critical branching mechanism. We set ψθ(·) = ψ(·+ θ)− ψ(θ). Let Θ = (θ∞,+∞) or Θ = [θ∞,+∞) be the set of values of θ for whi...

Statistical process control, a recognized technique for improving quality and productivity, has been widely employed throughout various industries. The conventional Shewhart control charts are applicable only when the collected sample data are real-valued data. For the purpose of controlling uncertain information when interval-valued data inevitably appear in the manufacturing or service proces...

We propose a five-valued logic that can be motivated from an algorithmic point of view and from a logical perspective. This logic is combined with process algebra. For process algebra with five-valued logic we present an operational semantics in SOS-style and a completeness result. Finally, we discuss some generalizations.

By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.

This paper presents an experiment with human subjects concerning the vague spatial relation ‘near’ in environmental space. After the topic is introduced and relevant previous work surveyed, the experiment is described. Three approaches to experimental analysis are presented and discussed: nearness neighbourhoods as regions with broad boundaries, fuzzy nearness and distance measures, and four-va...