We propose a novel semantics for positive abductive logic programs with implicative integrity constraints, namely integrity constraints in the form of implications. We show that this semantics is better suited to deal with several applications of abductive logic programming. Moreover, we prove that, in the propositional case, the existing abductive proof procedure IFF is sound and “strongly” co...

‎In this paper‎, ‎the notion of the radical of a filter in‎ ‎residuated lattices is defined and several characterizations of‎ ‎the radical of a filter are given‎. ‎We show that if F is a‎ ‎positive implicative filter (or obstinate filter)‎, ‎then‎ ‎Rad(F)=F‎. ‎We proved the extension theorem for radical of filters in residuated lattices‎. ‎Also‎, ‎we study the radical‎ ‎of filters in linearly o...

In this paper, we introduce the concepts of n-fold obstinate pseudo-hoop and n-fold obstinate filter in pseudo-hoops. Then we investigated these notions and proved some properties of them. Also, we discussed the relationship between n-fold obstinate pseudo-hoop and n-fold obstinate filter and other types of n-fold pseudo-hoops and n-fold filters such as n-fold (positive) implicative filter and ...

A method for studying cognitive conflicts using the repertory grid technique is presented. By means of this technique, implicative dilemmas can be identified, cognitive structures in which a personal construct for which change is wished for implies undesirable change on another construct. We assessed the presence of dilemmas and the severity of symptoms in 46 participants who met criteria for d...

In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.

In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches have complementary advantages and drawbacks depending on the structure of the knowledge that should be represented. Implicative rule bases are less sensitive to incompleteness of knowledge. However, implication-based inference ...

In this paper, we introduce the notion of n-fold (P, implicative, normal and fantastic) ideals in BCH-algebras which is a natural generalization of notion of (P, implicative, normal and fantastic) ideals in BCH-algebras and we stated and proved some theorems which determine the relationship between these notions.

introduction: hyperlipidemia is a major cardiovascular risk factor. this survey has been performed to determine the prevalence of hyperlipidemia in the 17th zone of tehran. methods: 1573 individuals 25-64 aged were recruited from the inhabitants of the 17th zone of tehran through one stage cluster sampling. standard questionnaires were filled out for all of the participants. lipid profile was c...