We develope a construction of an L-fuzzy valued measure by extending a measure defined on a σ-algebra of crisp sets to an L-fuzzy valued TM-countably additive measure defined on a TMclan of L-fuzzy sets in the case when operations for L-fuzzy sets and L-fuzzy real numbers are based on the minimum t-norm TM. Keywords— L-fuzzy set, L-fuzzy real number, L-fuzzy valued measure.

Stone-type duality connects logic, algebra, and topology in both conceptual and technical senses. This paper is intended to be a demonstration of this slogan. In this paper we focus on some versions of Fitting’s L-valued logic and L-valued modal logic for a finite distributive lattice L. Using the theory of natural dualities, we first obtain a duality for algebras of L-valued logic. Based on th...

In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...

Let $(X,d)$ be an infinite compact metric space, let $(B,parallel . parallel)$ be a unital Banach space, and take $alpha in (0,1).$ In this work, at first we define the big and little $alpha$-Lipschitz vector-valued (B-valued) operator algebras, and consider the little $alpha$-lipschitz $B$-valued operator algebra, $lip_{alpha}(X,B)$. Then we characterize its second dual space.

In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued)  regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...

The theory of Boolean algebras can be fruitfully applied to judgment aggregation: Assuming universality, systematicity and a sufficiently rich agenda, there is a correspondence between (i) non-trivial deductively closed judgment aggregators and (ii) Boolean algebra homomorphisms defined on the power-set algebra of the electorate. Furthermore, there is a correspondence between (i) consistent com...

Let L be a completely valued nonarchimedean field and g a finite dimensional Lie algebra over L. We show that its hyperenveloping algebra F(g) agrees with its Arens-Michael envelope and, furthermore, is a stably flat completion of its universal enveloping algebra. As an application, we prove that the Taylor relative cohomology for the locally convex algebra F(g) is naturally isomorphic to the L...

Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree  version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree  version of $C_c(X).$The main aim of this paper is to present t...

In this paper, we enlarge the language of triangle algebra by addinga unary operation that describes properties of a state. Thesestructure algebras are called state triangle algebra. The vitalproperties of these algebras are given. The notion of state interval-valued residuated lattice (IVRL)-filters are introduced and givesome examples and properties of them are given. ...

We show that the character space of the vector-valued Lipschitz algebra $Lip^{alpha}(X, E)$ of order $alpha$ is homeomorphic to the cartesian product $Xtimes M_E$ in the product topology, where $X$ is a compact metric space and $E$ is a unital commutative Banach algebra. We also characterize the form of each character on $Lip^{alpha}(X, E)$. By appealing to the injective tensor product, we the...