In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice L. These notions prove to have a good behavior when L is a co-Heyting algebra. In this case the codimension gives rise to a pseudometric on L which satisfies the ultrametric triangle inequality. We prove that the Hausdorff completion of L with respect to this pseudometric is prec...

first we show that the cosets of a fuzzy ideal μ in a bck-algebrax form another bck-algebra  x/μ (called the fuzzy quotient bck-algebra of x by μ). also we show thatx/μ is a fuzzy partition of x and we prove several some isomorphism theorems. moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition p of a commutative bck-algebra iscompatible, then p is a fuzzy quo...

It is shown that the derived dimension of any representation-finite Artin algebra is at most one. Mathematics Subject Classification 2000: 16G10, 18E30, 18E10. Let T be a triangulated category, and I and J two full subcategories of T . Denote by 〈I〉 the smallest full subcategory of T containing I and closed under shifts, finite direct sums and direct summands. Denote by I∗J the full subcategory...

The question of extendability of the action of a cyclic group of automorphisms of a compact Riemann surface is considered. Particular attention is paid to those cases corresponding to Singerman's list of Fuchsian groups which are not nitely-maximal, and more generally to cases involving a Fuchsian triangle group. The results provide partial answers to the question of which cyclic groups are the...

The LEP investigation of the B 0 d and B 0 s oscillations and of the Cabibbo-Kobayashi-Maskawa matrix element |V ub | improve the constraints on the other elements of this matrix. From a fit to the experimental data and the theory calculations it is possible to determine the vertex of the unitarity triangle as:

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

This paper proposes a new mathematical framework that can be applied to biological problems such as analysis of the structures of proteins and protein complexes. In particular, it gives a new method for encoding the three-dimensional structure of a protein into a binary sequence, where proteins are approximated by a folded tetrahedron sequence. The feature of the method is the correspondence be...

This paper presents a new method for computing whether or not two triangles in three dimensions intersect. The code is very efficient and requires minimum arithmetic precision. Indeed, all branching decisions are carried out by evaluating the signs of degree three polynomials. In addition, an efficient test is proposed for the two-dimensional case. Key-words: geometric predicates, low degree pr...