We survey recent developments in the method of moving frames for infinite-dimensional Lie pseudo-groups. These include a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for pseudo-groups, and new algorithms, based on constructive commutative algebra, for establishing the structure of their differential invariant algebras.

The purpose of this document is to develop some the basic theory multipliers algebra dual BCK-algebras. In study we demonstrate concept left bi-multiplier and right BCK (DBCK-algebra) algebras. Several examples results pertaining these on DBCK-algebras are developed based definitions. Then characteristics bi-multipliers obtained properties DBCK-algebras. We focused behavior elements under also ...

We survey a recent extension of the moving frames method for infinite-dimensional Lie pseudo-groups. Applications include a new, direct approach to the construction of Maurer–Cartan forms and their structure equations for pseudogroups, and new algorithms, based on constructive commutative algebra, for uncovering the structure of the algebra of differential invariants for pseudogroup actions.

The concepts of (internal, external) cubic soft sets, P-cubic (resp. R-cubic) soft subsets, R-union (resp. R-intersection, P-union, Pintersection) of cubic soft sets, and the complement of a cubic soft set are introduced, and several related properties are investigated. We apply the notion of cubic soft sets to BCK/BCI-algebras, and introduce the notion of cubic soft BCK/BCI-algebras. A charact...

In this paper, we introduce the notions of Belluce lattice associated with a bounded $BCK$-algebra and reticulation $BCK$-algebra. To do this, first, define operations $curlywedge ,$ $curlyvee $ $sqcup on $BCK$-algebras study some algebraic properties them. Also, for $A$ Zariski topology Spec(A)$ induced $tau _{A,Max(A)}$ $Max(A)$. We prove $(Max(A),tau_{A,Max(A)})$ is compact topological space...

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

The concept of a Kleene algebra (sometimes also called lattice) was already generalized by the first author for non-distributive lattices under name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene can be characterized identities implications assigned commutative meet-directoids. Moreover, we prove that Dedekind-MacNeille completion poset is finite Further,...

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...