Inconsistency is a pervasive problem in software engineering, where different aspects of a system are described in separate models. Resolving all the inconsistencies in a large set of models is often infeasible, in which case automated reasoning tools based on classical logic have limited application. In this paper we describe an automated tool for paraconsistent reasoning, using multi-valued l...

A 2-digit higher radix analog-to-digital converter (ADC) circuit consisting of a combination of a pipelined ADC and a set of cascaded current comparator cell has been proposed. The ADC generates multi-valued logic outputs rather than the conventional binary output system. The design is implemented using 0.25μm CMOS process. The performance analysis of the design shows desirable performance para...

This paper describes a genetic algorithm based learning Multiple-Value Logic (MVL) network. The proposed learning network operates on a population of candidate window parameters to produce new window parameters with lower errors between the desired outputs and the actual outputs of the MVL network. Thus, the learning MVL network has a large number of search points, making it possible to obtain ...

This paper offers a new technique for designing fuzzy controllers as analog hardware devices on bases of CMOS implementation of multi-valued logical functions. This approach is based on using a summing amplifier with saturation as a building block that can be considered as a multi-threshold logical element. The functional completeness in an arbitrary-valued logic of a summing amplifier with sat...

We provide a concise axiomatization of a broad class of generalized quantiiers in many-valued logic, so-called distribution quantiiers. Although sound and complete axiomatizations for such quantiiers exist, their size renders them virtually useless for practical purposes. We show that for certain lattice-based quan-tiiers relatively small axiomatizations can be obtained in a schematic way. This...