This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.

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

Copyright q 2010 Young Bae Jun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy implicative ideal of a BCK-algebra is introduced. Relations...

We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number of such formulas of a given length n provable in BCI logic against the number of formulas of length n provable in ric...

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 1982, Pawlak introduced the concept of a rough set (see [6]). This concept is fundamental for the examination of granularity in knowledge. It is a concept which has many applications in data analysis (see [7]). Rough set theory is applied to semigroups and groups (see [4, 5]), and BCK-algebras (see [3]). In this paper, we apply the rough set theory to BCC-algebras, and we discuss the notion ...

We use a deep embedding of the display calculus for relation algebras δRA in the logical framework Isabelle/HOL to formalise a new, machine-checked, proof of strong normalisation and cut-elimination for δRA which does not use measures on the size of derivations. Our formalisation generalises easily to other display calculi and can serve as a basis for formalised proofs of strong normalisation f...

The aim of this paper is to study the properties of dual BCK-algebra and to prove that the MV -algebra is equvalent to the bounded commutative dual BCK-algebra.

In this paper, we extend the notions of states and measures presented in [12] to the case of pseudo-BCK algebras and study similar properties. We prove that, under some conditions, the notion of a state in the sense of [12] coincides with the Bosbach state, and we extend to the case of pseudo-BCK algebras some results proved by J. Kühr only for pseudo-BCK semilattices. We characterize extremal ...

Based on Maxwellian quaternionic electromagnetic theory, the octonionic hyper-strong field, hyper-weak field and the quantum interplays can be presented by analogy with octonionic electromagnetic, gravitational, strong and weak interactions. In the hyper-weak field, the study deduces some conclusions of field source particles and intermediate particles which are consistent with Dirac equation, ...