This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

In this paper, we introduce the idea of generalized Ritt type and generalised Ritt weak type of entire functions represented by a vector valued Dirichlet series. Hence, we study some growth properties of two entire functions represented by a vector valued Dirichlet series on the basis of generalized Ritt type and generalised Ritt weak type.

Given a non-positively curved 2-complex with a circle-valued Morse function satisfying some extra combinatorial conditions, we describe how to locally isometrically embed this in a larger non-positively curved 2-complex with free-by-cyclic fundamental group. This embedding procedure is used to produce examples of CAT(0) free-by-cyclic groups that contain closed hyperbolic surface subgroups with...

The paper is concerned with the non-autonomous ordinary differential inclusion in finite dimensional space with periodic, compact, but not necessarily convex valued right-hand side. The existence of periodic solution for such an inclusion which stays in a strongly positively invariant (under inclusion) set continuously depending on the time parameter is proved. The connection between the densit...

This paper describes the application of an SPFD-based wire removal technique for circuit implementations utilizing networks of PLAs. It has been shown that a design style based on a multi-level network of approximately equal-sized PLAs results in a dense, fast, and crosstalk-resistant layout. Wire removal is a technique where the total number of wires between individual circuit nodes is reduced...

Whether human speech perception depends on a biologically based link between production and perception or whether it is best characterised as a series of acoustic, phonetic, and semantic transformations has remained an unresolved issue. We addressed this question via the use of objective brain research methods combined with advanced stimulus production methodology. We removed the contribution o...

The intuitionistic linguistic set (ILS) is an extension of linguisitc variable. To overcome the drawback of using single real number to represent membership degree and non-membership degree for ILS, the concept of interval-valued intuitionistic linguistic set (IVILS) is introduced through representing the membership degree and non-membership degree with intervals for ILS in this paper. The oper...

It is argued that the ‘inner’ negation ∼ familiar from 3-valued logic can be interpreted as a form of ‘conditional’ negation: ∼A is read “A is false if it has a truth value”. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language ...

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional log...

A B S T R A C T Introduction: In an oddball experiment, the context in which novel stimuli are presented affects characteristics of novelty P3, i.e. as long as there is a difficult task in which the difference between standard and target stimuli is small, recurrent presentation of a highly discrepant stimulus can lead to P300 highly similar to novelty P3. Effect of stimulus properties on P300 h...