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

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

In this paper, we define and study fuzzy generalized α-closed sets and r-open sets of a given L-fuzzy topological space and prime element r ∈ P (L) and coprime element α ∈ M(L). The concept of L-fuzzy ropen sets was introduced in [10], and it was proved that all r-open sets for L-fuzzy topological space form a new L-fuzzy topology, which is called stratiform L-fuzzy topology. Making use of the ...

We generalize the concept of fuzzy point, intutionistic fuzzy point, cubic point by introducing the concept of neutrosophic cubic point. Based on neutrosophic cubic point we generalized the idea of ( ; )-fuzzy ideals, ( ; )-intutionistic fuzzy ideals, ( ; )-cubic ideals ideals by initiating the new concept of neutrosophic Cubic ( ; )-ideals. Particularly we give the idea of neutrosophic cubic (...

We aim at clarifying the relationship between laws of large numbers for fuzzy sets or possibility distributions and laws of large numbers for fuzzy or possi-bilistic variables. We contend that these two frameworks are different and present the relationships between them that explain why this fact was unrecognized so far. A classical result in Probability Theory is the law of large numbers. If ξ...

It is shown that, for any spatial frame L (i.e., L is a complete lattice generated by the set of all prime elements), both the specialization L-preorder of L-topological spaces introduced by Lai and Zhang [Fuzzy preorder and fuzzy topology, Fuzzy Sets and Systems 157 (2006) 1865–1885] and that of L-fuzzifying topological spaces introduced by Fang and Qiu [Fuzzy orders and fuzzifying topologies,...

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