In this note the notion of interval-valued fuzzy BG-algebras (briefly, i-v fuzzy BG-algebras), the level and strong level BG-subalgebra is introduced. Then we state and prove some theorems which determine the relationship between these notions and BG-subalgebras. The images and inverse images of i-v fuzzy BG-subalgebras are defined, and how the homomorphic images and inverse images of i-v fuzzy...

A multi-valued version of CTL (mv-CTL), where both the propositions and the accessibility relation are multi-valued taking values in a nite quasi-Boolean algebra, is deened. A translation from mv-CTL model checking to CTL model checking is investigated. First, the case where the elements of quasi-Boolean algebras are totally ordered is considered. Secondly, it is shown how to design a translati...

Let g be a locally Lipschitz continuous real valued function which satisfies the KellerOsserman condition and is convex at infinity, then any large solution of −∆u+ g(u) = 0 in a ball is radially symmetric. 1991 Mathematics Subject Classification. 35J60 .

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

We study the Nevanlinna-Pick problem for a class of subalgebras of H∞. This class includes algebras of analytic functions on embedded disks, the algebras of finite codimension in H∞ and the algebra of bounded analytic functions on a multiply connected domain. Our approach uses a distance formula that generalizes Sarason’s [18] work. We also investigate the difference between scalar-valued and m...

A subset X of a real Hilbert space H is said to be proximally smooth provided that the function d X : H ! R (the distance to X) is continuously diierentiable on an open tube U around X. It is proven that this property is equivalent to d X having a nonempty proximal subgradient at every point of U, and that the (G^ ateaux = Fr echet) derivative is locally Lipschitz on U. The Lipschitz behavior o...