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

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.

BZ-algebra, as the common generalization of BCI-algebra and BCC-algebra, is a kind important logic algebra. Herein, new concepts QM-BZ-algebra quasi-hyper BZ-algebra are proposed their structures constructions studied. First, definition presented, structure obtained: Each KG-union quasi-alter BCK-algebra anti-grouped BZ-algebra. Second, generalized quasi-left alter (hyper) BZ-algebras QM-hyper ...

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.

Using the notion of anti fuzzy points and its besideness to and non-quasi-coincidence with a fuzzy set, new concepts of an anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their inter-relations and related properties are investigated in [3]. The notion of the new fuzzy subalgebra with thresholds are introduced and relationship between this notion and the new fuzzy subalgebra of a B...