This paper introduces the fuzzification of dual B-algebra and presented some its related properties. A characterization a fuzzy (normal) is also investigated.

Let A and A! be dual Koszul algebras. By Positselski a filtered algebra U with grU = A is Koszul dual to a differential graded algebra (A!, d). We relate the module categories of this dual pair by a⊗−Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg, and Soergel.

The notion of (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras is introduced. Some characterization theorems in (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras are derived. Also we study relation between (∈,∈ ∨q)-interval-valued fuzzy prime ideal and (∈ ∨q)-interval-valued fuzzy level prime ideals. Characterization of interval-valued fuzzy set to b...

Let G(K) be the group of K-rational points of a connected adjoint simple algebraic group over a nonarchimedean local field K. In this paper we classify the unipotent representations of G(K) in terms of the geometry of the Langlands dual group. This was known earlier in the special case where G(K) is an inner form of a split group.

Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras. We introduce the quasi-RM, quasi-RML, quasi-BCI, (commutative, positive implicative, quasi-implicative, with product) quasi-BCK, quasi-Hilbert and quasi-Boolean algebras as gen...

For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...

We motivate and prove a series of identities which form a generalization of the Euler’s pentagonal number theorem, and are closely related to specialized Macdonald’s identities for powers of the Dedekind η–function. More precisely, we show that what we call “denominator formula” for the Virasoro algebra has “higher analogue” for all cs,t-minimal models. We obtain one identity per series which i...

We present an investigation of duality in the traditional logical manner. We extend Nelson's symmetrization of intuitionistic logic, constructible falsity, to a self-dual logic; constructible duality. We develop a self-dual model by considering an interval of worlds in an intuitionistic Kripke model. The duality arises through how we judge truth and falsity. Truth is judged forward in the Kripk...