the notions of quasi-prime submodules and developed  zariski topology was introduced by the present authors in cite{ah10}. in this paper we use these notions to define a scheme. for an $r$-module $m$, let $x:={qin qspec(m) mid (q:_r m)inspec(r)}$. it is proved that $(x, mathcal{o}_x)$ is a locally ringed space. we study the morphism of locally ringed spaces induced by $r$-homomorphism $mrightar...

In the framework of Henkin style higher-order fuzzy logic à LΠω we construct fuzzy real numbers as fuzzy Dedekind cuts over crisp rationals, and show some of their properties provable in à LΠω. The definitions of algebraic operations and a theory of fuzzy intervals are sketched.

the prevalent communications networks suffer from lack of spectrum and spectrum inefficiency. this has motivated researchers to develop cognitive radio (cr) as a smart and dynamic radio access promised solution. a major challenge to this new technology is how to make fair assignment of available spectrum to unlicensed users, particularly for smart grids communication. this paper introduces an i...

The notion of intuitionistic fuzzy sets was introduced by Atanassov as a generalization of the notion of fuzzy sets. Y.B. Jun and S.Z. Song introduced the notion of intuitionistic fuzzy points. In this paper we find some relations between the intuitionistic fuzzy ideals of a semigroup S and the set of all intuitionistic fuzzy points of S. Keywords—Semigroup, Regular(intra-regular) semigroup, In...

Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p ≈ q, the degree to which p ≈ q syntactically follows (is provable) from Σ equals the degree to which p ≈ q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff’s theorem is therefore established.

A concept related to the spectrum of a graph is that of energy. The energy E(G) of a graph G is equal to the sum of the absolute values of the eigenvalues of the adjacency matrix of G . The Laplacian energy of a graph G is equal to the sum of distances of the Laplacian eigenvalues of G and the average degree d(G) of G. In this paper we introduce the concept of Laplacian energy of fuzzy graphs. ...

The aim of this paper is to introduce and study set- valued homomorphism on lattices and T-rough lattice with respect to a sublattice. This paper deals with T-rough set approach on the lattice theory. The result of this study contributes to, T-rough fuzzy set and approximation theory and proved in several papers. Keywords: approximation space; lattice; prime ideal; rough ideal; T-rough set; set...

Fuzzy ideals of pseudo MV-algebras are investigated. The homomorphic properties of fuzzy prime ideals are given. A one-to-one correspondence between the set of maximal ideals and the set of fuzzy maximal ideals μ satisfying μ(0) = 1 and μ(1) = 0 is obtained.

We study fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets (non-sharp collections) of attributes. A formula A ⇒ B is true in a data table with fuzzy attributes iff each object having all attributes from A has also all attributes from B, membership degrees of A and B playing a role of thresholds. We present a set of axioms and prove s...