We associate to any game G, in the sense of Set Theory, a variant of it we call bck(G). We show through examples that many relevant non-constructive proofs in Algebra and Combinatorics can be interpreted by recursive winning strategy over some game of the form bck(G). We further support this claim by proving that games of the form bck(G) are a sound and complete semantic for a sub-classical log...

in this paper rst we dene the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.

The conception of the bipolar complex fuzzy set (BCFS) is one fundamental and significant modifications (FS) to tackle tricky awkward information. BCFS has a rich wider structure been utilized in various fields. In this article, we introduce concept (BCF) subalgebras (BCFSAs), BCF ideals (BCFIs) BCK/BCI-algebra along with certain properties. Further, investigate relations between BCFSA BCFI nec...

In the present manuscript, we introduce concept of a discrete dynamical system (Ⱬ,Ψ) in BCK-algebra where Ⱬ is and Ψ homomorphism from to establish some their related properties. We prove that set all fixed points periodic are BCK-subalgebras. show when subset invariant concerning Ψ. commutative with relative cancellation property ideals Ⱬ. also an S-invariant

Y. Imai and K. Iseki introduced BCK-algebras in 1966, through the paper [Im, Is; 66], as a generalization of the concept of set-theoretic difference and propositional calculi. This class of BCK-algebras is a proper subclass of the class of BCI-algebras and has many applications to various domains of mathematics. One of the recent applications of BCK-algebras was given in the Coding Theory. In t...

We consider the intuitionistic fuzzification of the concept of subalgebras and ideals in BCK-algebras, and investigate some of their properties. We introduce the notion of equivalence relations on the family of all intuitionistic fuzzy ideals of a BCK-algebra and investigate some related properties.

It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the monoidal operation is restricted to those pairs which fulfil a certain extremality condition, and else left undefined. The subsequent construction...

The notions of $${{\mathcal {N}}}$$ -ideal types $$(\in , \in )$$ and \! \vee \, {q})$$ soft $${\mathcal N}_{\in }$$ -set, {N}}}_{q}$$ {N}}}_{\in {q}}$$ -subalgebra in BCK/BCI-algebra are introduced, several properties investigated. Characterizations N}$$ discussed.