This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the N0-valued prepositional calculus^). For want of a better name, we shall call these algebraic systems MV-algebras where MV is supposed to suggest many-valued logics. It is known that the classical two-valued logic gives rise to the study of Boolean algebras and, as can be expect...

The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Buşneag’s model ([1–3]), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Conditions for a real-valued function to be an BCK-pseudo-valuation are provided. The fact that the binary operation in BCC-algebras is uniformly continuous is provided based on the notion of (pseudo) valuation.

In order to investigate a many valued logical system whose proportional value is given in a lattice, in 1993 Y. Xu [12] first established the lattice implication algebra by combining lattice and implication algebra, and explored many useful structures. The ideal theory serves a vital function for the development of lattice implication algebras. Y. Xu, Y.B. Jun and E.H. Roh [6] introduced the no...

a concept of weak $f$-property for a set-valued mapping is introduced‎, ‎and then under some suitable assumptions‎, ‎which do not involve any information‎ ‎about the solution set‎, ‎the lower semicontinuity of the solution mapping to‎ ‎the parametric‎ ‎set-valued vector equilibrium-like problems are derived by using a density result and scalarization method‎, ‎where the‎ ‎constraint set $k$...

We introduce several associative algebras and series of vector spaces associated to these algebras. Using lattice vertex operators, we obtain dimension and character formulae for these spaces. In particular, we a series of representations of symmetric groups which turn out to be isomorphic to parking function modules. We also construct series of vector spaces whose dimensions are Catalan number...

Introduction. By a function algebra I shall mean a collection A of complex-valued functions on a set X such that the (pointwise) sum and the product of two functions in A are again in A. We shall always suppose that A contains the constant functions so that A becomes an algebra with unit over the field of complex numbers. A function algebra A is called self-ad joint if the complex conjugate of ...

‎In this paper‎, ‎we study weighted composition operators between Lipschitz algebras of complex-valued bounded functions on metric spaces‎, ‎not necessarily compact‎. ‎We give necessary and sufficient conditions for the injectivity and the surjectivity of these operators‎. ‎We also obtain sufficient and necessary conditions for a weighted composition operator between these spaces to be compact.

in this paper, g-dual function-valued frames in l2(0;1) are in-troduced. we can achieve more reconstruction formulas to ob-tain signals in l2(0;1) by applying g-dual function-valued framesin l2(0;1).