data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127–170, 1983. 2. A. Brogi, P. Mancarella, D. Pedreschi and F. Turini. Modular logic programming. ACM TOPLAS 16(4):1361-1398, 1994. 3. K.M. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. J. Functional Programming 4(2):127–206, 1994. 4. M. Bugliesi, E. Lamma and P. Mel...

Morphogenesis of the semicircular canal ducts in the vertebrate inner ear is a dramatic example of epithelial remodelling in the embryo, and failure of normal canal development results in vestibular dysfunction. In zebrafish and Xenopus, semicircular canal ducts develop when projections of epithelium, driven by extracellular matrix production, push into the otic vesicle and fuse to form pillars...

In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.

this paper provides a review on major ergodic features of semi-independent hyper mv {algebra dynamical systems. theorems are presentedto make contribution to calculate the entropy. particularly, it is proved that thetotal entropy of those semi-independent hyper mv {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

in this article, we introduce monomial irreducible representations of the special linear lie algebra $sln$. we will show that this kind of representations have bases for which the action of the chevalley generators of the lie algebra on the basis elements can be given by a simple formula.

In this paper, we introduce the new concept of biprojectivity of a Banach algebra modulo an ideal, as a generalization of this notion in the classical case. By using it , we obtain some necessary and sufficient conditions for contractibility of Banach algebras modulo an ideal. In particular we characterize the contractibility of quotient Banach algebras. Also we study the relationship between t...

Let  be an n-dimensional Riemannian manifold, and  be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation  induces an infinitesimal homothetic transformation on .  Furthermore,  the correspondence   gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on  onto the Lie algebra of infinitesimal ...

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. ...