For any BL-algebra L, we construct an associated lattice ordered Abelian group GL that coincides with the Chang’s `-group of an MV-algebra when the BL-algebra is an MValgebra. We prove that the Chang’s group of the MV-center of any BL-algebra L is a direct summand in GL. We also find a direct description of the complement S(L) of the Chang’s group of the MV-center in terms of the filter of dens...

In this paper we study and equationally characterize the subvarieties of BL, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, Product-chain or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of BL which is bounded by the Boolean variety and the variety generated by all single-component chains,...

BL-algebras are algebraic structures corresponding to Hajek’s basic fuzzy logic. The aim of this paper is analyze the structure using commutative rings. Due computational considerations, we interested in finite case. We present new ways generate rings and provide summarizing statistics. Furthermore, investigated BL-rings, i.e., whose lattice ideals can be equipped with a BL-algebra. A character...

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

Imai and Iséki [1] introduced the concept of BCK-algebra as a generalization of notions of set difference operation and propositional calculus. The notion of pseudo-BCK algebra was introduced by Georgescu and Iorgulescu [2] as generalization of BCK-algebras not assuming commutativity. Hájek [3] introduced the concept of BL-algebras as the general semantics of basic fuzzy logic (BL-logic). Iorgu...

In this paper we investigate the propositional logic of standard algebras for Hájek’s Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and Π-components of the algebra. We start from a fixed standard BL-algebra; introduce new propositional constants; present a suitable set of axioms; investigate completeness results; and ...

In this paper we investigate further properties of fuzzy ideals of a BL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of a BL-algebra are introduced and their several properties are investigated. We give a procedure to generate a fuzzy ideal by a fuzzy set. We prove that every fuzzy irreducible ideal is a fuzzy prime ideal but a fuzzy prime ideal m...

BL-algebras have been invented by P. Hájek [3] in order to provide an algebraic proof of the completeness theorem of “Basic Logic” (BL, for short) arising from the continuous triangular norms, familiar in the fuzzy logic framework. The above notion is generalized to an algebraic system in which the required conditions are fulfilled (Definition 2.1). Filters in BL-algebras are also defined. A fi...

Discrete dualities are developed for n-potent MTL–algebras and for 2-potent BL–algebras. That is, classes of frames, or relational systems, are defined that serve as dual counterparts to these classes of algebras. The frames defined here are extensions of the frames that were developed for MTL– algebras in [25], [26]; the additional frame conditions required are given here and also the proofs t...

Pseudo-MTL algebras or weak pseudo-BL algebras are non-commutative fuzzy structures which arise from pseudo-t-norms, namely, pseudo-BL algebras without the pseudo-divisibility condition. The aim of this paper is to investigate the properties of pseudo-BL algebras that also hold for pseudoMTL algebras. We will also study some classes of pseudo-MTL algebras such as good, local and Archimedean pse...