Finiteness based results in BL-algebras

BL-algebras were introduced by P. Hájek as algebraic structures of Basic Logic. The aim of this paper is to survey known results about the structure of finite BL-algebras and natural dualities for varieties of BL-algebras. Extending the notion of ordinal sum of BL-algebras , we characterize a class of finite BL-algebras, actually BL-comets, which can be seen as a generalization of finite BL-chains. Then, just using BL-comets, we can represent any finite BL-algebra A as a direct product of BL-comets. This result can be seen as a generalization of the representation of finite MV-algebras as a direct product of MV-chains. Then we consider the varieties generated by one finite non-trivial totally ordered BL-algebra. For each of these varieties, we show the existence of a strong duality. As an application of the dualities, the injective and the weak injective members of these classes are described.     

Minimal prime state filters and state radicals on state pseudo $${ }$$-algebras

The aim of this paper is the study of some classes of state filters of a state pseudo BL-algebra. The concepts of minimal prime state filter and of state hyperarchimedean pseudo BL-algebra are introduced and a characterization of a state hyperarchimedean pseudo BL-algebra is presented. Also, we define the notion of a state radical of a state filter of a state pseudo BL-algebra, we present a characterization of a state radical and some of its properties. The algebra of state radicals of a state pseudo BL-algebra is studied.     

The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting

BL-algebras are the Lindenbaum algebras of the propositional calculus coming from the continuous triangular norms and their residua in the real unit interval. Any BL-algebra is a subdirect product of local (linear) BL-algebras. A local BL-algebra is either locally finite (and hence an MV-algebra) or perfect or peculiar. Here we study extensively perfect BL-algebras characterizing, with a finite scheme of equations, the generated variety. We first establish some results for general BL-algebras, afterwards the variety is studied in detail. All the results are parallel to those ones already existing in the theory of perfect MV-algebras, but these results must be reformulated and reproved in a different way, because the axioms of BL-algebras are obviously weaker than those for MV-algebras.     

Fuzzy n-fold ideals in BCH-algebras

In this paper, we introduce the notion of fuzzy n-folds (P, implicative and fantastic) ideals in BCH-algebras which is a natural generalization of notion of n-folds (P, implicative and fantastic) ideals in BCH-algebras and we stated and proved some theorems which determines the relationship between these notions. Finally we give some computational Algorithms for these notions.     

Some types of filters in BL algebras

In this paper we introduce some types of filters in a BL algebra A, and we state and prove some theorems which determine the relationship between these notions and other filters of a BL algebra, and by some examples we show that these notions are different. Also we consider some relations between these filters and quotient algebras that are constructed via these filters.     

Filter theory of BL algebras

In this paper we consider fundamental properties of some types of filters (Boolean, positive implicative, implicative and fantastic filters) of BL algebras defined in Haveshki et al. (Soft Comput 10:657–664, 2006) and Turunen (Arch Math Logic 40:467–473, 2001). It is proved in Haveshki et al. (2006) that if F is a maximal and (positive) implicative filter then it is a Boolean filter. In that paper there is an open problem Under what condition are Boolean filters positive implicative filters? One of our results gives an answer to the problem, that is, we need no more conditions. Moreover, we give simple characterizations of those filters by an identity form ? x, y(t(x, y) ∈ F), where t(x, y) is a term containing x, y.      

Metrizability on (semi)topological BL-algebras

In this paper we define the notion of quasifilter neighborhoods on (semi)topological BL-algebras and state and prove some of their properties. Finally, using the concept of quasifilter, we find some conditions under which a BL-algebra will become metrizable.     

Poincaré–Birkhoff–Witt theorem for Leibniz -algebras

We construct the universal enveloping algebra of a Leibniz n-algebra and we prove that the category of modules over this algebra is equivalent to the category of representations.We also give a proof of the Poincaré–Birkhoff–Witt theorem for universal enveloping algebras of finite-dimensional Leibniz n-algebras using Gröbner bases in a free associative algebra.     

Generalized fuzzy filters of <Emphasis Type="Italic">R</Emphasis><Subscript>0</Subscript>-algebras

In this paper, we introduce the notions of interval valued -fuzzy filters and interval valued -fuzzy Boolean (implicative) filters in R ₀-algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that an interval valued fuzzy set F in R ₀-algebras is an interval valued -fuzzy Boolean filter if and only if it is an interval valued -fuzzy implicative filter.     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R₀代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

Interval valued (\in,\in\!\vee\,q) -fuzzy filters of pseudo BL-algebras

We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued -fuzzy filters of pseudo BL-algebras and investigate some of their related properties. Some characterization theorems of these generalized interval valued fuzzy filters are derived. The relationship among these generalized interval valued fuzzy filters of pseudo BL-algebras is considered. Finally, we consider the concept of implication-based interval valued fuzzy implicative filters of pseudo BL-algebras, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed.     

Very and more or less in non-commutative fuzzy logic

In this paper we consider fuzzy subsets of a universe as L-fuzzy subsets instead of [ 0, 1 ]-valued, where L is a complete lattice. We enrich the lattice L by adding some suitable operations to make it into a pseudo-BL algebra. Since BL algebras are main frameworks of fuzzy logic, we propose to consider the non-commutative BL-algebras which are more natural for modeling the fuzzy notions. Based on reasoning with in non-commutative fuzzy logic we model the linguistic modifiers such as very and more or less and give an appropriate membership function for each one by taking into account the context of the given fuzzy notion by means of resemblance L-fuzzy relations.     

Separation axioms in (semi)topological quotient BL-algebras

In this paper, we study the relationship between separation axioms and (semi)topological quotient BL-algebras. We bring some conditions under which a (semi)topological quotient BL-algebra becomes a T ₁-space or Hausdorff or regular or normal. Also, we use maximum condition to get a Hausdorff or regular or normal (semi)topological quotien BL-algebra.     

Measures on MV-algebras

 We study sequentially continuous measures on semisimple M V-algebras. Let A be a semisimple M V-algebra and let I be the interval [0,1] carrying the usual Łukasiewicz M V-algebra structure and the natural sequential convergence. Each separating set H of M V-algebra homomorphisms of A into I induces on A an initial sequential convergence. Semisimple M V-algebras carrying an initial sequential convergence induced by a separating set of M V-algebra homomorphisms into I are called I-sequential and, together with sequentially continuous M V-algebra homomorphisms, they form a category SM(I). We describe its epireflective subcategory ASM(I) consisting of absolutely sequentially closed objects and we prove that the epireflection sends A into its distinguished σ-completion σ _H (A). The epireflection is the maximal object in SM(I) which contains A as a dense subobject and over which all sequentially continuous measures can be continuously extended. We discuss some properties of σ _H (A) depending on the choice of H. We show that the coproducts in the category of D-posets [9] of suitable families of I-sequential M V-algebras yield a natural model of probability spaces having a quantum nature. The motivation comes from probability: H plays the role of elementary events, the embedding of A into σ _H (A) generalizes the embedding of a field of events A into the generated σ-field σ(A), and it can be viewed as a fuzzyfication of the corresponding results for Boolean algebras in [8, 11, 14]. Sequentially continuous homomorphisms are dual to generalized measurable maps between the underlying sets of suitable bold algebras [13] and, unlike in the Loomis–Sikorski Theorem, objects in ASM(I) correspond to the generated tribes (no quotient is needed, no information about the elementary events is lost). Finally, D-poset coproducts lift fuzzy events, random functions and probability measures to events, random functions and probability measures of a quantum nature. Supported by VEGA Grant 2/7193/01     

New exact nonlinear filters with large Lie algebras

The ideas previously used (Stochastics. Vol. 5, pp. 65–92, 1981) to construct some finite-dimensional nonlinear filters also yield related new filters of finite dimension with arbitrarily large bases; this is because the finite dimensionality is not destroyed by insertion of noiseless linear differential operations on the observations.In engineering language, the new filters are obtained from the old by smoothing the output through an n-pole linear system before adding observation noise in the usual way; this adds 2n to the Lie algebra dimension. In the simplest case (drift = tanh x, OBSERVATION = x) we put x through a one-pole described by a new variable ζ, and observe ζ + noise instead of x + noise; the new Lie algebra has additional generators ζ and ∂/∂ξ besides the four from the oscillator algebra, to give dimension 6.The filter, which gives a recursive construction of the conditional density, can be ‘derived’ by any of three (here equivalent methods: (i) direct integration of the Kallianpur-Striebel formula as a Gaussian integral; (ii) solution of a parabolic PDE with quadratic potential; and (iii) the Wei-Norman procedure.     

Extended filters in bounded commutative Rl-monoids

The notion of extended filter of a filter associated to a subset of Rl-monoids is defined and related properties are investigated. Rachunek and Salounova proved that positive implicative filters and Boolean filters in Rl-monoids coincide with a condition in Rachunek and Salounova (Acta Univ Palacki Olomuc Fac rer nat Math 48(1):93–107, 2009). In this paper, we prove that positive implicative filters and Boolean filters coincide without any condition and get some results on various types of filters.     

Free poset algebras and combinatorics of cones

In Free poset Boolean algebra F(P ), uniqueness of normal form of non-zero elements is proved and the notion of support of a non-zero element is, therefore, well defined. An Inclusion–Exclusion-like formula is given by defining, for each non-zero element x, using support of x ∈F(P ) in a very natural way.      

A Generalization of Local Fuzzy Structures

The class of bounded residuated lattice ordered monoids Rl-monoids) contains as proper subclasses the class of pseudo BL-algebras (and consequently those of pseudo MV-algebras, BL-algebras and MV-algebras) and of Heyting algebras. In the paper we introduce and investigate local bounded Rl-monoids which generalize local algebras from the above mentioned classes of fuzzy structures. Moreover, we study and characterize perfect bounded Rl-monoids.     

Chain conditions on \textit{BL}-algebras

The aim of this paper is to solve the open problem appeared in Motamed and Moghaderi (Soft Comput 2012), about the relation between Noetherian (Artinian) $\textit{BL}$ -algebras in short exact sequences. Also, a better theorem to improve its results is suggested. The relation between Noetherian and Artinian $\textit{BL}$ -algebras is found, the concept of length for a filter in $\textit{BL}$ -algebras is introduced and properties of finite length $\textit{BL}$ -algebras are developed. Finally, it is proved that any $\textit{BL}$ -algebra has finite length if and only if be Noetherian and Artinian.