Retract mappings of projectable MV-algebras

For MV-algebras (algebras of multivalued Lukasiewicz logics) we apply the same terminology and notation as in [3] and [8]. Retracts and retract mappings of abelian lattice ordered groups were studied in [4], cf. also [6], [7]; for the case of multilattice groups and cyclically ordered groups cf. [1] and [5]. To each MV-algebra ? there corresponds an abelian lattice ordered group G with a strong unit u such that (under the notation as in [8]), ? = ?₀(G,u) (cf. also Section 1 below). In [2], a different (but equivalent) system of axioms for defining the notion of MV-algebra was applied; instead of ?₀(G,u), the notation Γ(G,u) was used. In the present paper we investigate the relations between retract mappings of a projectable MV-algebra ? and the retract mappings of the corresponding lattice ordered group G.     

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.     

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     

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.     

Simple characterization of strict residuated lattices with an involutive negation

We consider property of strict residuated lattices (SRL-algebras) with a new involutive negation $\lnot, $ called here by SRL $_{\lnot }$ -algebras, and give a simple characterization of SRL $_{\lnot }$ -algebras. We also prove a prime filter theorem of SRL $_{\lnot }$ -algebras, from which we conclude that every linearly ordered SRL $_{\lnot }$ -algebra is simple. As a corollary to this fact, we have a well-known result that every SML $_{\lnot }$ -algebra (SBL $_{\lnot }$ -algebra) is a subdirect product of linearly ordered SML $_{\lnot }$ -algebras (SBL $_{\lnot }$ -algebras).     

Word-Mappings of Level 2

A sequence of natural numbers is said to have level k, for some natural integer k, if it can be computed by a deterministic pushdown automaton of level k (Fratani and Sénizergues in Ann Pure Appl. Log. 141:363–411, 2006). We show here that the sequences of level 2 are exactly the rational formal power series over one undeterminate. More generally, we study mappings from words to words and show that the following classes coincide:

the mappings which are computable by deterministic pushdown automata of level 2

the mappings which are solution of a system of catenative recurrence equations

the mappings which are definable as a Lindenmayer system of type HDT0L.

We illustrate the usefulness of this characterization by proving three statements about formal power series, rational sets of homomorphisms and equations in words.     

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.     

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.     

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.     

Algebraic properties of complete residuated lattice valued tree automata

This paper investigates tree automata based on complete residuated lattice valued (referred to as L-valued) logic. First, we define the notions of L-valued set of pure subsystems and L-valued set of strong pure subsystems, as well as, their relation is considered. Also, L-valued n-tuple operator consist of n successors is defined, some of its properties are examined and its relation with pure subsystem is analyzed. Furthermore, we investigate some concepts such as L-valued set of (strong) homomorphisms, L-valued set of (strong) isomorphisms, and L-valued set of admissible relations. Moreover, we discuss bifuzzy topological characterization of L-valued tree automata. Finally, the relations of homomorphisms between the L-valued tree automata to continuous mappings and open mappings is examined.     

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.     

n-Fold obstinate filters in BL-algebras

In this paper, we introduced the notion of n-fold obstinate filter in BL-algebras and we stated and proved some theorems, which determine the relationship between this notion and other types of n-fold filters in a BL-algebra. We proved that if F is a 1-fold obstinate filter, then A/F is a Boolean algebra. Several characterizations of n-fold fantastic filters are given, and we show that A is a n-fold fantastic BL-algebra if A is a MV-algebra (n ≥ 1) and A is a 1-fold positive implicative BL-algebra if A is a Boolean algebra. Finally, we construct some algorithms for studying the structure of the finite BL-algebras and n-fold filters in finite BL-algebras.     

Torsion classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

 Torsion classes of MV-algebras are defined as radical classes which are closed with respect to homomorphisms; in this paper we investigate their relations to radical classes of lattice ordered groups and to varieties of MV-algebras. Supported by Grant VEGA 1/9056/02.     

Rough implication operator based on strong topological rough algebras

The role of topological De Morgan algebra in the theory of rough sets is investigated. The rough implication operator is introduced in strong topological rough algebra that is a generalization of classical rough algebra and a topological De Morgan algebra. Several related issues are discussed. First, the two application directions of topological De Morgan algebras in rough set theory are described, a uniform algebraic depiction of various rough set models are given. Secondly, based on interior and closure operators of a strong topological rough algebra, an implication operator (called rough implication) is introduced, and its important properties are proved. Thirdly, a rough set interpretation of classical logic is analyzed, and a new semantic interpretation of ?ukasiewicz continuous-valued logic system ?uk is constructed based on rough implication. Finally, strong topological rough implication algebra (STRI-algebra for short) is introduced. The connections among STRI-algebras, regular double Stone algebras and RSL-algebras are established, and the completeness theorem of rough logic system RSL is discussed based on STRI-algebras.     

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.     

Locally Adaptive Frames in the Roto-Translation Group and Their Applications in Medical Imaging

Locally adaptive differential frames (gauge frames) are a well-known effective tool in image analysis, used in differential invariants and PDE-flows. However, at complex structures such as crossings or junctions, these frames are not well defined. Therefore, we generalize the notion of gauge frames on images to gauge frames on data representations \(U:\mathbb {R}^{d} \rtimes S^{d-1} \rightarrow \mathbb {R}\) defined on the extended space of positions and orientations, which we relate to data on the roto-translation group SE(d), \(d=2,3\). This allows to define multiple frames per position, one per orientation. We compute these frames via exponential curve fits in the extended data representations in SE(d). These curve fits minimize first- or second-order variational problems which are solved by spectral decomposition of, respectively, a structure tensor or Hessian of data on SE(d). We include these gauge frames in differential invariants and crossing-preserving PDE-flows acting on extended data representation U and we show their advantage compared to the standard left-invariant frame on SE(d). Applications include crossing-preserving filtering and improved segmentations of the vascular tree in retinal images, and new 3D extensions of coherence-enhancing diffusion via invertible orientation scores.     

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.     

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.