the islamic sharia as a full legal value system with sustainable resources (qur’an and the tradition) as well as benefiting from wisdom as inner messenger is the most adaptable value system with changes of the world. the logic used in qur’an and the tradition is a multi-valued and continuous logic. in this value system, religious statements have been expressed in continuous and graded linguisti...

This paper focuses on multi-ary α-semantic resolution automated reasoning method based on multi-ary α-resolution principle for lattice-valued propositional logic LP(X) with truth-value in lattice implication algebras. The definitions of the multi-ary α-semantic resolution and multi-ary α-semantic resolution deduction in lattice-valued propositional logic LP(X) are given, respectively, and the s...

For a general logic program, a set of n+ 1 logic values is considered and an unde ned value denoted u. Partial multi-valued interpretations are also de ned. A general logic program P may contain the constants that are de ned for every logic value. A pseudo-negation denoted eh is de ned for every integer h, where 0 h < n. A partial ordering denoted h is de ned between multi-valued interpretation...

fuzzy controllers are being used in various control schemes. the aim of this work was adjusting hemodialysis machine parameters utilizing a fuzzy logic controller (flc) so that patient’s hemodynamic condition remains stable during hemodialysis treatment. for this purpose a comprehensive mathematical model of the arterial pressure response during hemodialysis, including hemodynamic, osmotic, and...

Abstract: For a general program P, multi-valued interpretations and models are defined, considering a set of truth logic values and an undefined value. The program P may contain constant propositions, which are defined for each truth logic value. Two orderings between the set of all multi-valued interpretations are considered: one is Fitting ordering and the other is standard ordering. The sema...

This paper presents a Multi-valued Decision Diagram (MDD) that has additional null-value and all-value edges. The MDD is based on a multivalued algebra that augments multi-valued variables to allow a null output value. A null output value represents the lack of any valid value for a given input combination (akin to an output don’t care, but its value cannot be changed). A side effect of the nul...

In this paper, we discuss logic circuit designs using the circuit model of three-state quantum dot gate field effect transistors (QDGFETs). QDGFETs produce one intermediate state between the two normal stable ON and OFF states due to a change in the threshold voltage over this range. We have developed circuit model which has intermediate state. Various logic can be implemented using QDGFETs. In...

Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...