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.

let $m_r$ be a module with $s=end(m_r)$. we call a submodule $k$ of $m_r$ annihilator-small if $k+t=m$, $t$ a submodule of $m_r$, implies that $ell_s(t)=0$, where $ell_s$ indicates the left annihilator of $t$ over $s$. the sum $a_r(m)$ of all such submodules of $m_r$ contains the jacobson radical $rad(m)$ and the left singular submodule $z_s(m)$. if $m_r$ is cyclic, then $a_r(m)$ is the unique ...

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

The purpose of this paper is to investigate pure submodules of multiplication modules. We introduce the concept of idempotent submodule generalizing idempotent ideal. We show that a submodule of a multiplication module with pure annihilator is pure if and only if it is multiplication and idempotent. Various properties and characterizations of pure submodules of multiplication modules are consid...

Using the concept of intuitionistic fuzzy point, the notion of (∈,∈ ∨q)intuitionistic fuzzy bi-hyperideal of semihypergroups is introduced. Several characterizations of this notion are given and the behavior of this structure under homomorphisms of semihypergroups is discussed. Finally, the notion of prime (semiprime) (∈,∈ ∨q)-intuitionistic fuzzy bi-hyperideal of semihypergroups is introduced ...

The purpose of this paper is to introduce a new concept in module M over ring R, called e∗-essential submodule, which generalization an essential submodule. We will some examples and properties about such that, what the inverse image intersection submodules direct sum submodules. show relationship between submodule Noetherian R-module. Also we define e∗-closed with

We show by standard automated theorem proving methods and freely available automated theorem prover software that axiom (A2), stating that multiplicative conjunction implies its first member, is provable from other axioms in fuzzy logics BL and MTL without using axiom (A3), which is known to be provable from other axioms [1]. We also use freely available automated model generation software to s...

Mat r x ( F q ) o f a l l r b y r m a t r i c e s o v e r F q , b y C t h e g r o u p G L t i ( F q ) o f t h e u n i t s of M, and by S the special linear subgroup SL , (F q ) o f C . F o r a n a r b i t r a r y field F containing F q , l e t U s t a n d f o r t h e ( c o m m u t a t i v e ) p o l y n o m i a l a l g e b r a F[xl, , x r ] , a n d c o n s i d e r U g r a d e d a s u s u a l : U...