We investigate maximal ideals of pseudo-BCK-algebras and give some characterizations of them.

in this paper, we define the notions of ultra and involution ideals in $bck$-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative $bck$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $bck$-semilattice, the not...

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

We further study the filter theory of pseudo-BL algebras.We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, ps...

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

In this paper we consider pseudo-BCK/BCI-algebras. In particular, we consider properties of minimal elements (x ≤ a implies x = a) in terms of the binary relation ≤ which is reflexive and antisymmetric along with several more complicated conditions. Some of the properties of minimal elements obtained bear resemblance to properties of B-algebras in case the algebraic operations ∗ and ◦ are ident...