States on finite linearly ordered IMTL-algebras

The aim of this paper is to study states on finite linearly ordered IMTL-algebras. We prove that Bosbach states, Riečan states and state-morphisms are equivalent on linearly ordered IMTL-algebras. Furthermore, we investigate the existence of states on finite linearly ordered IMTL-algebra and prove that if LL is locally finite, then LL has a state if and only if LL is an MV-algebra, and that if LL is peculiar and H(L)è{0,1}H(L)\cup\{0,1\} is a subalgebra of LL, then LL has a state if and only if ord(n)=|H(L)|+1ord(n)=|H(L)|+1, where H(L)={x ? L|ord(x) < ￥, ord(?x) < ￥}, n=maxH(L)H(L)=\{x\in L|ord(x)<\infty, ord(\neg x)<\infty\}, n=\max H(L).     

NMG-代数中同态核的结构刻画

逻辑代数上的Bosbach态与Riečan态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广,也是概率计量逻辑中语义计量化方法的代数公理化,是非经典数理逻辑领域中的重要研究分支.现已证明具有Glivenko性质的逻辑代数上的Bosbach态与Riečan态等价,并且逻辑代数的Glivenko性质是研究态算子的构造和存在性的重要工具,因而是态理论中的研究热点之一.研究了NMG-代数基于核算子的Glivenko性质,证明NMG-代数具有核基Glivenko性质的充要条件是该核算子是从此NMG-代数到其像集代数的同态,并给出NMG-代数中同态核的结构刻画.这里,NMG-代数是刻画序和三角模<（[0,1/2,T_NM]）,（[1/2,1,T_M]）>的逻辑系统NMG的语义逻辑代数.     

Relationships between generalized Bosbach states and <Emphasis Type="Italic">L</Emphasis>-filters on residuated lattices

Generalized Bosbach states and filters on residuated lattices have been extensively studied in the literature. In this paper, relationships between generalized Bosbach states and residuated-lattice-valued filters, also called L-filters, on residuated lattices are investigated. Particularly, type I and type II L-filters and their subclasses are defined, and some their properties are obtained. Then relationships between special types of L-filters and the generalized Bosbach states are considered where generalized Bosbach states are characterized by some type I or type II L-filters with additional conditions. Associated with these relationships, new subclasses of generalized Bosbach states such as implicative type IV, V, VI states, fantastic type IV states and Boolean type IV states are introduced, and the relationships between various types of generalized Bosbach states are investigated in detail. In particular, the existence of several generalized Bosbach states is provided and, as application, some typical subclasses of residuated lattices such as Rl-monoids, Heyting algebras and Boolean algebras are characterized by these generalized Bosbach states.     

The stable topology for residuated lattices

The spectrum of a residuated lattice L is the set Spec(L) of all prime i-filters. It is well known that Spec(L) can be endowed with the spectral topology. The main scope of this paper is to introduce and study another topology on Spec(L),?the so called stable topology, which turns out to be coarser than the spectral one. With this and in view, we introduce the notions of pure i-filter for a residuated lattice and the notion of normal residuated lattice. So, we generalize to case of residuated lattice some results relative to MV-algebras (Belluce and Sessa in Quaest Math 23:269–277, 2000; Cavaccini et?al. in Math Japonica 45(2):303–310, 1997) or BL-algebras (Eslami and Haghani in Kybernetika 45:491–506, 2009; Leustean in Central Eur J Math 1(3): 382–397, 2003; Turunen and Sessa in Mult-Valued Log 6(1–2):229–249, 2001).     

The individual ergodic theorem on the IF-events with product

The ergodic theory and particularly the individual ergodic theorem were studied in many structures. Recently the individual ergodic theorem has been proved for MV-algebras of fuzzy sets (Riečan in Czech Math J 50(125):673–680, 2000; Riečan and Neubrunn in Integral, measure, and ordering. Kluwer, Dordrecht, 1997) and even in general MV-algebras (Jurečková in Int J Theor Phys 39:757–764, 2000). The notion of almost everywhere equality of observables was introduced by Riečan and Jurečková (Int J Theor Phys 44:1587–1597, 2005). They proved that the limit of Cesaro means is an invariant observable for P-observables. In Lendelová (Int J Theor Phys 45(5):915–923, 2006c) showed that the assumption of P-observable can be omitted. In this paper we prove the individual ergodic theorem on family of IF-events and show that each P {\mathcal{P}} -preserving transformation in this family can be expressed by two corresponding P^\flat,P^\sharp {\mathcal{P}}^\flat,{\mathcal{P}}^\sharp -preserving transformations in tribe T. {\mathcal{T}}.     

Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices

Generalized Bosbach and Rie c? an states, which are useful for the development of an algebraic theory of probabilistic models for commutative or non-commutative fuzzy logics, have been investigated in the literature. In this paper, a new way arising from generalizing residuated lattice-based filters from commutative case to non-commutative one is applied to introduce new notions of generalized Bosbach and Rie c? an states, which are called hybrid ones, on non-commutative residuated lattices is provided, and the relationships between hybrid generalized states and those existing ones are studied, examples show that they are different. In particular, two problems from L.C. Ciungu, G. Georgescu, and C. Mure, “Generalized Bosbach States: Part I” (Archive for Mathematical Logic 52 (2013):335–376) are solved, and properties of hybrid generalized states, which are similar to those on commutative residuated lattices, are obtained without the condition “strong”.     

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.     

State operators on GMV algebras

Flaminio and Montagna recently introduced state MVMV algebras as MVMV algebras with an internal state in the form of a unary operation. Di Nola and Dvurečenskij further presented a stronger variation of state MVMV algebras called state-morphism MVMV algebras. In the paper we present state GMVGMV algebras and state-morphism GMVGMV algebras which are non-commutative generalizations of the mentioned algebras.     

A General Approach to L（h,k）-Label Interconnection Networks

Given two non-negative integers h and k, an L（h, k）-labeling of a graph G = （V, E） is a function from the set V to a set of colors, such that adjacent nodes take colors at distance at least h, and nodes at distance 2 take colors at distance at least k. The aim of the L（h, k）-labeling problem is to minimize the greatest used color. Since the decisional version of this problem is NP-complete, it is important to investigate particular classes of graphs for which the problem can be efficiently solved. It is well known that the most common interconnection topologies, such as Butterfly-like, Beneg, CCC, Trivalent Cayley networks, are all characterized by a similar structure： they have nodes organized as a matrix and connections are divided into layers. So we naturally introduce a new class of graphs, called （l × n）-multistage graphs, containing the most common interconnection topologies, on which we study the L（h, k）-labeling. A general algorithm for L（h, k）-labeling these graphs is presented, and from this method an efficient L（2, 1）-labeling for Butterfly and CCC networks is derived. Finally we describe a possible generalization of our approach.     

Relative negations in non-commutative fuzzy structures

In this paper we investigate the properties of the relative negations in non-commutative residuated lattices and their applications. We define the notion of a relative involutive FL-algebra and we generalize to relative negations some results proved for involutive pseudo-BCK algebras. The relative locally finite IFL-algebra is defined and it is proved that an interval algebra of a relative locally finite divisible IFL-algebra is relative involutive. Starting from the observation that in the definition of states, the standard MV-algebra structure of [0, 1] intervenes, there were introduced the states on bounded pseudo-BCK algebras, pseudo-hoops and residuated lattices with values in the same kind of structures and they were studied under the name of generalized states. For the case of commutative residuated lattices the generalized states were studied in the sense of relative negation. We define and study the relative generalized states on non-commutative residuated lattices. One of the main results consists of proving that every order-preserving generalized Bosbach state is a relative generalized Rie?an state. Some conditions are given for a relative generalized Rie?an state to be a generalized Bosbach state. Finally, we develop a concept of states on IFL-algebras.     

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.     

The pseudo-linear semantics of interval-valued fuzzy logics

Triangle algebras are equationally defined structures that are equivalent with certain residuated lattices on a set of intervals, which are called interval-valued residuated lattices (IVRLs). Triangle algebras have been used to construct triangle logic (TL), a formal fuzzy logic that is sound and complete w.r.t. the class of IVRLs.In this paper, we prove that the so-called pseudo-prelinear triangle algebras are subdirect products of pseudo-linear triangle algebras. This can be compared with MTL-algebras (prelinear residuated lattices) being subdirect products of linear residuated lattices.As a consequence, we are able to prove the pseudo-chain completeness of pseudo-linear triangle logic (PTL), an axiomatic extension of TL introduced in this paper. This kind of completeness is the analogue of the chain completeness of monoidal T-norm based logic (MTL).This result also provides a better insight in the structure of triangle algebras; it enables us, amongst others, to prove properties of pseudo-prelinear triangle algebras more easily. It is known that there is a one-to-one correspondence between triangle algebras and couples (L,α), in which L is a residuated lattice and α an element in that residuated lattice. We give a schematic overview of some properties of pseudo-prelinear triangle algebras (and a number of others that can be imposed on a triangle algebra), and the according necessary and sufficient conditions on L and α.     

The Zariski topology on the spectrum of prime <Emphasis Type="Italic">L</Emphasis>-submodules

Let R be a commutative ring with identity and let M be an R-module. We topologize L − Spec(M), the collection of all prime L-submodules of M, analogous to that for FSpec(R), the spectrum of fuzzy prime ideals of R, and investigate the properties of this topological space. In particular, we will study the relationship between L − Spec(M) and L − Spec(R/Ann(M)) and obtain some results.     

Exact Algorithms for <Emphasis Type="Italic">L</Emphasis>(2,1)-Labeling of Graphs

The notion of distance constrained graph labelings, motivated by the Frequency Assignment Problem, reads as follows: A mapping from the vertex set of a graph G=(V,E) into an interval of integers {0,…,k} is an L(2,1)-labeling of G of span k if any two adjacent vertices are mapped onto integers that are at least 2 apart, and every two vertices with a common neighbor are mapped onto distinct integers. It is known that for any fixed k≥4, deciding the existence of such a labeling is an NP-complete problem. We present exact exponential time algorithms that are faster than the naive O ^*((k+1) ⁿ ) algorithm that would try all possible mappings. The improvement is best seen in the first NP-complete case of k=4, where the running time of our algorithm is O(1.3006 ⁿ ). Furthermore we show that dynamic programming can be used to establish an O(3.8730 ⁿ ) algorithm to compute an optimal L(2,1)-labeling.     

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.     

Extremal states on bounded residuated \ell-monoids with general comparability

Bounded residuated lattice ordered monoids (RlR\ell-monoids) are a common generalization of pseudo-BLBL-algebras and Heyting algebras, i.e. algebras of the non-commutative basic fuzzy logic (and consequently of the basic fuzzy logic, the Łukasiewicz logic and the non-commutative Łukasiewicz logic) and the intuitionistic logic, respectively. We investigate bounded RlR\ell-monoids satisfying the general comparability condition in connection with their states (analogues of probability measures). It is shown that if an extremal state on Boolean elements fulfils a simple condition, then it can be uniquely extended to an extremal state on the RlR\ell-monoid, and that if every extremal state satisfies this condition, then the RlR\ell-monoid is a pseudo-BLBL-algebra.     

Lattice constants matricial equations for conversion matrices

In this paper we proof a theorem concerning lattice constants and hence three matricial equations for conversion matricesR: if H=Δ^RT we have: i)H ³ =I; ii) H^T Σ H= Σ; iii)(DH) ² =I; where Δ,D, and ε are known when we can enumerate all non-isomorphic graphs withn vertices, we know (for Δ and ε) their edge-number and (for ε) the order of their automorphism group.     

The inheritance of BDE-property in sharply dominating lattice effect algebras and (o)-continuous states

We study remarkable sub-lattice effect algebras of Archimedean atomic lattice effect algebras E, namely their blocks M, centers C(E), compatibility centers B(E) and sets of all sharp elements S(E) of E. We show that in every such effect algebra E, every atomic block M and the set S(E) are bifull sub-lattice effect algebras of E. Consequently, if E is moreover sharply dominating then every atomic block M is again sharply dominating and the basic decompositions of elements (BDE of x) in E and in M coincide. Thus in the compatibility center B(E) of E, nonzero elements are dominated by central elements and their basic decompositions coincide with those in all atomic blocks and in E. Some further details which may be helpful under answers about the existence and properties of states are shown. Namely, we prove the existence of an (o)-continuous state on every sharply dominating Archimedean atomic lattice effect algebra E with B(E)\not = C(E).B(E)\not =C(E). Moreover, for compactly generated Archimedean lattice effect algebras the equivalence of (o)-continuity of states with their complete additivity is proved. Further, we prove “State smearing theorem” for these lattice effect algebras.     

Partial ordering in L-underdeterminate sets

The purpose of this paper is to improve results on fuzzy partial orderings obtained by Zadeh in [9]. We overcome the difficulties connected with the axioms of antisymmetry and linearity. Moreover, if the underlying lattice L is a complete residuated lattice, we establish a Szpilrajn theorem, i.e., any (L-fuzzy) partial ordering has a linear extension. In opposition to Zadeh's, our point of view is that an axiom of antisymmetry without a reference to a concept of equality is meaningless. Therefore we first introduce the category LUS (cf. [2]), which can be considered as a mathematical model of fuzzy equality, and subsequently we specify the axioms of (L-fuzzy) partial orderings with respect to the frame given by LUS. The axioms we use clearly display the usefulness of having a Zadeh-like complementation and, as a consequence, the usefulness of a positivistic (and nonintuitionistic) frame of study. An example concerning L°(Rⁿ) which we give clearly shows that the LUS version of the Szpilrajn theorem cannot be reduced to a fuzzification of an already existing theorem, but provides us with additional information.