Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect algebra, we investigate the mutual relationship between pseudo-BL algebras and pseudo-effect algebras. We prove that dual pseudo-BL algebra under ce...

Fuzzy logics are designed to support logical inferences on vague or uncertain premises, and they are useful in several theoretical and applicative areas of computer science. A central paradigm in mathematical fuzzy logic, popularized by Hájek [Háj98], is based on the idea of weakening Boolean logic starting from a suitable generalization of Boolean conjunction, namely, a class of [0, 1]-valued ...

In this study, some (fuzzy) filters of a Sheffer stroke BL-algebra and its properties are presented. To show relationship between filter fuzzy BL-algebra, we prove that f is (ultra) C if only fp either empty or for each p ∈ [0, 1], it satisfied = f(1) the characteristic function nonempty subset BL-algebra.

In order to research the logical system whose propositional value is given in a lattice from the semantic viewpoint, Xu [7] proposed the concept of lattice implication algebras, and discussed some of their properties. Xu and Qin [8] introduced the notion of implicative filters in a lattice implication algebra, and investigated some of their properties. Turunen [5] introduced the notion of Boole...

We introduce a new algebra Bl(z, q) depending on two nonzero complex parameters such that Bl(q n , q) at q = 1 coincides with the Brauer algebra Bl(n). We establish an analog of the Brauer–Schur–Weyl duality where the action of the new algebra commutes with the representation of the twisted deformation Uq(on) of the enveloping algebra U(on) in the tensor power of the vector representation.

Article history: Received 25 July 2009 Accepted 3 June 2010 Available online 12 June 2010

After the research on naBL-algebras gained by non-associative t-norms and overlap functions, inflationary BL-algebras were also studied as a recent kind of generalization BL-algebras, which can be obtained general functions. In this paper, we show that not every function induce an BL-algebra counterexample thus propose new concept weak BL-algebras. We prove each corresponds to BL-algebra; there...

We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

The aim of this paper is to introduce the notion of anti fuzzy (prime) deductive system in BL-algebra and to investigate their properties. It is shown that the set of all deductive systems (with the empty set) of a BL-algebra X is equipotent to a quotient of the set of all anti fuzzy deductive systems of X. The anti fuzzy prime deductive system theorem of BL-algebras is also proved. Anti Fuzzy ...

In this paper we define Baer BL-algebras as BL-algebras with the property that co-annihilator filters are generated by central elements. We use sheaf-theoretic techniques to construct a Baer extension of any BLalgebra, that is to embed any nontrivial BL-algebra A into a Baer BLalgebra A∗. The embedding turns to be an isomorphism if A is itself a Baer BL-algebra. 2000 MSC: 08A72, 03G25, 54B40, 0...