We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK-ideals of BCK-algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzymultiply positive implicative hyper BCK-ideal. Moreov...

The aim of this paper is to introduce the notion of intuitionistic fuzzy implicative ideals with thresholds (λ, μ) of BCI-algebras and to investigate its properties and characterizations. Keywords—BCI-algebra, intuitionistic fuzzy set, intuitionistic fuzzy ideal with thresholds (λ,μ), intuitionistic fuzzy implicative ideal with thresholds (λ,μ).

We introduce the concept of a ⊗-closed set and a ⊗-homomorphism in lattice implication algebras, and we discuss some of their properties. Next, we introduce the fuzzy implicative filter and obtain equivalent conditions. Finally, we discuss the operation ⊗, fuzzy filters, and fuzzy implicative filters. 2000 Mathematics Subject Classification. 03G10, 06B10, 94D05.

In this paper, we first introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we consider the interval valued ( , fuzzy (implicative) ideals of pseudo-MV algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) ideals are derived. ) q ∈∈∨ −

The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.

Let $S$ be a semitopological semigroup. The $wap-$ compactification of semigroup S, is a compact semitopological semigroup with certain universal properties relative to the original semigroup, and the $Lmc-$ compactification of semigroup $S$ is a universal semigroup compactification of $S$, which are denoted by $S^{wap}$ and $S^{Lmc}$ respectively. In this paper, an internal construction of ...

Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the gener...

in the present paper we give a partially negative answer to a conjecture of ghahramani, runde and willis. we also discuss the derivation problem for both foundation semigroup algebras and clifford semigroup algebras. in particular, we prove that if s is a topological clifford semigroup for which es is finite, then h1(m(s),m(s))={0}.

The concept of quasi-coincidence of an interval valued fuzzy set is considered. By using this idea, the notion of interval valued (α, β)−fuzzy sub-implicative ideals of BCIalgebras is introduced, which is a generalization of a fuzzy sub-implicative ideal. Also some related properties are studied and in particular, the interval valued (∈,∈ ∨q)−fuzzy subimplicative ideals in a BCI-algebra will be...

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...