In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compared to the four-valued description logic, quasi-classical description logic satisfies all of the three basic inference rules (i.e., modus ponens, modus tollens and disjunctive syllogism) so that the inference ability of quasiclassical description logic is closer to that of classical logic. Quasicla...

In this paper, we construct a new iterative scheme by hybrid projection method and prove strong convergence theorems for approximation of a common element of set of common fixed points of an infinite family of asymptotically quasi-φ-nonexpansive mappings, set of solutions to a variational inequality problem and set of common solutions to a system of generalized mixed equilibrium problems in a u...

The dissociation of nitrogen was studied using a quasi-classical trajectory (QCT) analysis in the context of calculating the dissociation rate surface for a dense range of temperatures for use in computational fluid dynamics (CFD) applications. By sampling rovibrational states from a Boltzmann distribution but uniformly sampling the relative speed, the dissociation rate was calculated for trans...

In this paper we present a new approach to nding good lattice points. We employ the spectral test, a well-known gure of merit for uniform random number generators. This concept leads to an assessment of lattice points g that is closely related to the classical Babenko-Zaremba quantity (g; N). The associated lattice rules are good uniformly over a whole range of dimensions. Our numerical example...

On the predual of a von Neumann algebra, we define a dif-ferentiable manifold structure and affine connections by embeddings into non-commutative L p –spaces. Using the geometry of uniformly convex Ba-nach spaces and duality of the L p and L q spaces for 1/p + 1/q = 1, we show that we can introduce the α-divergence, for α ∈ (−1, 1), in a similar manner as Amari in the classical case. If restric...

We prove that the perpetual American put option price of an exponential Lévy process whose jumps come from a compound Poisson process is the classical solution of its associated quasi-variational inequality, that it is C except at the stopping boundary and that it is C everywhere (i.e. the smooth pasting condition always holds). We prove this fact by constructing a sequence of functions, each o...