In this paper, we study stability and linearization of multivalued nonlinear feedback shift registers which are considered as logic networks. First, the linearization of multi-valued nonlinear feedback shift registers (NFSRs) is discussed, which is to find their state transition matrices by considering it as a logical network via a semi-tensor product approach. For a multi-valued NFSR, the new ...

We suggest possible approaches to point-free geometry based on multi-valued logic. The idea is to assume as primitives the notion of a region together with suitable vague predicates whose meaning is geometrical in nature, e.g. ‘close’, ‘small’, ‘contained’. Accordingly, some first-order multivalued theories are proposed. We show that, given a multi-valued model of one of these theories, by a su...

Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional information such as incompleteness, uncertainty, and many others, but with the cost of time and space complexity. This paper addresses this problem, and proposes a new algorithm for Multi-valued Model Checking. While Chechi...

A correlation lattice is an algebra (B,∧,∨, σ, 0, 1) where (B,∧,∨, 0, 1) is a bounded lattice and σ is a dual endomorphism on B which has the property σ(x) = x for a fixed number n, n ∈ 2N + 1 ([3], [4]). This notion generalizes orthomodular lattices, and in the distributive case, Boolean algebras, De Morgan algebras and some classes of Ockham algebras. Moreover, in [4], D. Schweigert and M. Sz...

To understand the function of genetic regulatory networks in the development of cellular systems, we must not only realise the individual network entities, but also the manner by which they interact. Multi-valued networks are a promising qualitative approach for modelling such genetic regulatory networks, however, at present they have limited formal analysis techniques and tools. We present a f...

Conductance quantization at room temperature is a key requirement for the utilizing of ballistic transport for, e.g., high-performance, low-power dissipating transistors operating at the upper limit of "on"-state conductance or multivalued logic gates. So far, studying conductance quantization has been restricted to high-mobility materials at ultralow temperatures and requires sophisticated nan...

We consider propositional logic programs with negations. We deene notions of constructive transformation and constructive completion of a program. We use these notions to characterize SLDNF-resolution in classical, intuitionistic and intermediate logics, and also to derive a characterization in modal logics of knowledge. We show that the three-valued and four-valued x-point or declarative seman...

This paper presents a fully integrated implementation of a multivalued-logic signed-digit full adder (SDFA) circuit using a standard 0.6m CMOS process. The radix-2 SDFA circuit, based on two-peak negative-differential-resistance (NDR) devices, has been implemented using MOS-NDR, a new prototyping technique for circuits that combine MOS transistors and NDR devices. In MOS-NDR, the folded current...