We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other. © 2011 Elsevier B.V. All rights reserved.

In sequential pattern discovery, the support of a sequence is computed as the number of data-sequences satisfying a pattern with respect to the total number of data-sequences in the database. When the items are frequently updated, the traditional way of counting support in sequential pattern mining may lead to incorrect (or, at least incomplete), conclusions. For example, if we are looking for ...

In this paper a new sequential sampling plan is introduced in which the acceptable quality level (AQL) and the lot tolerance percent defective (LTPD) are a fuzzy number. This plan is well defined, since, if the parameters are crisp, it changes to a classical plan. For such a plan, a particular table of rejection and acceptance is calculated and compared with the classical one. Keywords : St...

In recent years, sequential optimality conditions are frequently used for convergence of iterative methods to solve nonlinear constrained optimization problems. The sequential optimality conditions do not require any of the constraint qualications. In this paper, We present the necessary sequential complementary approximate Karush Kuhn Tucker (CAKKT) condition for a point to be a solution of a ...