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.

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

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

in this paper we classify fuzzy subgroups of a rank-3 abelian group $g = mathbb{z}_{p^n} + mathbb{z}_p + mathbb{z}_p$ for any fixed prime $p$ and any positive integer $n$, using a natural equivalence relation given in cite{mur:01}. we present and prove explicit polynomial formulae for the number of (i) subgroups, (ii) maximal chains of subgroups, (iii) distinct fuzzy subgroups, (iv) non-isomorp...

In this paper we will introduce the notion of coprime hyperideals in multiplicative hyperrings and we will show some properties of them. Then we introduce the notion of hyperring of fractions generated by a multiplicative hyperring and then we will show some properties of them.

We apply the classical theory of hyperrings to vague soft sets to derive the concepts of vague soft hyperrings, vague soft hyperideals, and vague soft hyperring homomorphism. The properties and structural characteristics of these concepts are also studied and discussed. Furthermore, the relationship between the concepts introduced here and the corresponding concepts in classical hyperring theor...

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

In this paper, we employed bipolar fuzzy set theory to hemi-rings and we popularized notation of bipolar valued fuzzy interior h-ideal, bipolar-valued fuzzy prime h-ideal, bipolar-valued fuzzy semiprime h-ideal, bipolar-valued fuzzy h-bi-ideal and bipolarvalued fuzzy h-quasi-ideal. We also introduced some basic properties and definition of bipolar-valued fuzzy h-ideals of hemi-ring. Then we int...