In this paper, we present a general definition of the notion Noetherian and Artinian BL-algebra more comprehensive insight at chain conditions in BL-algebras. We derive some theorems which generalize existence results. give an axiomatic approach to being Artinian, is also applicable other algebraic structures. use theoretical define arithmetic that possible for devices. study, only focus

This report outlines recent notable extra-galactic source observations by the CANGAROO-II 10-m telescope. Flux upper limits above ∼400 GeV were obtained from observations of the BL Lacertae object, PKS2155−304, in 2000 and 2001. Diffuse gamma-ray emission from the starburst galaxy NGC 253 was also detected at a high confidence level, and E>10 TeV gamma-rays were observed with 5.7 σ significance...

It is suggested that many of the ultraluminous compact x-ray sources now being found in the main bodies of galaxies, particularly those that are active, like M82, NGC 3628 and others, are“local” QSOs, or BL Lac objects, with high intrinsic redshifts in the process of being ejected from those galaxies. Evidence in support of this hypothesis is summarized.

Weak pseudo BL-algebras (WPBL-algebras) are non-commutative fuzzy structures which arise from pseudot-norms (i.e. the non-commutative versions of triangular norms). In this paper, we study the pairs of weak negations on WPBL-algebras, extending the case of weak negations on Esteva–Godo MTL-algebras. A geometrical characterization of the pairs of weak negations in bounded chains is provided. Our...

In order to effectively extract the weak fault feature of high-speed automaton (HSA) in the environment with strong noises, a method of fault feature extraction was proposed based on wavelet packet energy entropy and fuzzy clustering algorithm. In this paper, wavelet packet was utilized to denoise the vibration signals of three working conditions of automaton, to decompose the signals and then ...

This paper presents an approach for stabilization of equilibria in recurrent fuzzy systems. This type of dynamic fuzzy systems being defined via linguistic rules can be interpreted as interpolation between constant gradients, and therefore as hybrid dynamical system. It is shown that the latter viewpoint allows for a precise description of the system dynamics, but on the other hand lacks transp...

The paper studies the connections and differences between bilevel problems (BL) and generalized semi-infinite problems (GSIP). Under natural assumptions (GSIP) can be seen as a special case of a (BL). We consider the so-called reduction approach for (BL) and (GSIP) leading to optimality conditions and Newtontype methods for solving the problems. We show by a structural analysis that for (GSIP)-...

The paper studies the connections and differences between bilevel problems (BL) and generalized semi-infinite problems (GSIP). Under natural assumptions (GSIP) can be seen as a special case of a (BL). We consider the so-called reduction approach for (BL) and (GSIP) leading to optimality conditions and Newton-type methods for solving the problems. We show by a structural analysis that for (GSIP)...

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continuous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corre...

Proof theory can provide useful tools for tackling problems in algebra. In particular, Gentzen systems admitting cut-elimination have been used to establish decidability, complexity, amalgamation, admissibility, and generation results for varieties of residuated lattices corresponding to substructural logics. However, for classes of algebras bearing some family resemblance to groups, such as la...