We use an alternative graphical representation for formulas in implicational intuitionistic logic in order to obtain and demonstrate results concerning provability. We demonstrate the adequateness of the method in this area, showing that one can easily recognize and prove new results and simplify the proofs of others. As such, we extend a known class of formulas for which uniqueness of -normal ...

In this note, by considering the notions of the intuitionistic general L-fuzzy automaton and $(alpha, beta)$-language, we show that for any $(alpha, beta)$-language $mathcal{L}$, there exists a minimal intuitionistic general L-fuzzy automaton recognizing $mathcal{L}$.We prove that the minimal intuitionistic general L-fuzzy automaton is isomorphic with threshold $(alpha,beta)$ to any $(alpha, be...

We present a method of producing normal subgroups of the free group on r generators not containing a given word. Special attention is given to the normal subgroups of the free group on two generators. In considering the exponent sum of the generators in a given word, we produce such subgroups and clearly state for what class of words these subgroups are not easily obtainable. We also provide a ...

Now that the classification of finite simple groups is complete, it is logical to look at the extension problem. An important special case to consider is when M is a minimal normal subgroup of G and both G/M and M are known groups. If M is abelian, various techniques have been used to derive information about G. Indeed, almost the entire theory of finite solvable groups can be said to rest upon...

Our goal will be to generalize the construction of the group Z/nZ. The idea there was to start with the group Z and the subgroup nZ = 〈n〉, where n ∈ N, and to construct a set Z/nZ which then turned out to be a group (under addition) as well. (There are two binary operations + and · on Z, but Z is just a group under addition. Thus, the fact that we can also define multiplication on Z/nZ will not...

In this paper a first step in classifying the fuzzy normal subgroups of a finite group is made. Explicit formulas for the number of distinct fuzzy normal subgroups are obtained in the particular cases of symmetric groups and dihedral groups.

Let F be a local complete field with discrete valuation, and let G be a quasisplit group over F which splits over some unramified extension of F . Let P be a parahoric subgroup of the group G(F ) of F -points of G; the open normal pronilpotent subgroups of P can be classified using the standard normal filtration subgroups of Prasad and Raghanathan. More precisely, we show that if G is quasisimp...

in this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. afterwards, the a...