Abduction is an important form of nonmono tonic reasoning allowing one to nd explanations for certain symptoms or observations We consider the situation when the application domain is described by a logic program IF THEN rules To model uncertainty in human cognition and real world applications we use fuzzy logic i e many valued logic where axioms can have truth values con dence factors smaller ...

Closed classes of three-valued logic generated by periodic symmetric funtions that equal 1 in tuples from {1, 2} and equal 0 on the rest tuples are considered. Criteria for bases existence and finite bases existence for these classes is obtained. The problem of the bases existence for some families of closed classes of the three-valued logic functions is considered in the paper. E. Post [1] (se...

Partial functions are abundant in mathematics and program specifications. Unfortunately, their importance has been mostly ignored in automated theorem proving. In this paper, we develop a theorem proving strategy for Partial Classical Logic (PCL). Proof search takes place in Kleene Logic. We show that PCL theories can be translated into equivalent sets of formulas in Kleene logic. For proof sea...

In recent years, there have been major advances in CMOS VLSI technology, which generated great interest in electronic circuits, which is more efficient by perfection performance and power consumption. Circuits, called multi valued logic circuits offer several potential opportunities for improvement of present vlsi designs. Current mode CMOS multivalued logic circuits are interesting and have ma...

Mathematical fuzzy logic (or fuzzy logic in a narrow sense) is a many-valued symbolic logic with a comparative notion of truth. The present state of development of t-norm based fuzzy propositional and predicate logic will be surveyed and some recent results will be described (on witnessed models and others).

This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. It is known that there are many formal systems of fuzzy logic, most of them having traditional syntax and many-valued semantics. Our logic is further generalization, where also syntax is evaluated, i.e. we may consider fuzzy sets of axioms. In the paper we show the possibilities how to construct the ...

due to the high density and the low consumption power in the digital integrated circuits, mostly technology of cmos is used. during the past times, the metal oxide silicon field effect transistors (mosfet) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. b...

The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood, but also for “undefined”. The three-valued semantics proposed by Fitting and by Kunen are closely related to what is computed by a logic program, the third truth...

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higherorder combinations of generalized truth values have been suggested to account for so-called hypercontradictions. In the present paper, Graham Priest’s treatment of generalized truth values is scrutinize...

Kleene’s well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In addition they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic...