Results 11 to 20 of about 7,115 (216)
Minimally inconsistent reasoning in Semantic Web. [PDF]
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +1 more source
Logiques dialogiques ‘multivalentes’
Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
Multiple-valued logic is an important branch of the computer science and technology. Multiple-valued logic studies the theory, multiple-valued circuit & multiple-valued system, and the applications of multiple-valued logic included.In the theory of ...
Liu Yu Zhen +3 more
doaj +1 more source
On Stability of Multi-Valued Nonlinear Feedback Shift Registers
Nonlinear feedback shift registers (NFSRs) are the main building blocks in many convolutional decoders, and a stable NFSR can limit decoding error propagation.
Haiyan Wang +7 more
doaj +1 more source
Comments on “High-Performance and Energy-Efficient CNFET-Based Designs for Ternary Logic Circuits”
In the above article [1], R. A. Jaber et al. present the designs of ternary logic circuits based on CNTFET technology. The motivation for designing ternary gates is based on the following assumption quoted in the abstract: “Moreover, multi-valued ...
Daniel Etiemble
doaj +1 more source
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
An elaborated digital computer programme supporting the time-consuming process of selecting the importance rank of construction and operation parameters by means of stating optimum sets is based on the Quine – McCluskey algorithm of minimizing individual
Tiszbierek Agnieszka
doaj +1 more source
Hydraulic valves are used to determine the set values of hydraulic quantities (flow rate, pressure, or pressure difference) in a hydraulic system or its part.
Adam Deptuła +6 more
doaj +1 more source
This paper presents the way of identifying the influence of the tolerance of model pumps (TYPE 3PWR-SE) construction on the total efficiency. The identification of sensitive control dimensions (Value/Tolerance) of examined pumps has been made by means of
Deptuła Adam +2 more
doaj +1 more source
Bounds of non-monotone complexity for the multi-valued logic functions
The non-monotone complexity of realization of k-valued logic functions by circuits in a special basis was investigated. The basis consists of elements of two types: the first type comprises all monotone functions (with respect to the order 0 < 1 < 2
V.V. Kochergin, A.V. Mikhailovich
doaj +1 more source

