In this paper we focus on a time-extended theory of contact. It turns out that a suitable theory can be defined using L-valued or L-fuzzy version of a contact relation. We study this structure in the context of Goguen categories a suitable categorical formalization of L-valued/fuzzy relations.

This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is derived from the theory of fuzzy measures and the Choquet integral.

Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.

the automatic assignment of protein secondary structure from three dimensional coordinates is an essentialstep in the characterization of protein structure.although, the recognition of secondary structures suchas alpha-helices and beta-sheets seem straightforward, but there are many different definitions, eachregarding different criteria. we have developed a newalgorithm for protein helix assig...

In this paper the concepts of sectional intuitionistic fuzzy continuous mapping, l -intuitionistic fuzzy compact sets and asymptotic intuitionistic fuzzy normal structure are introduced. Schauder type and Baillon and Schoneberg type fixed point theorems are also established in an intuitionistic fuzzy n -normed linear space.

Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with  $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...

The formal system L of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. The current paper further studies the syntactic structure of the system L, presents several new results with respect to this system. Especially, a simplified system which contains only seven axioms is proposed, and the system is found to be equivalent to the o...