In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems f...

small polygroups are multi-valued systems that satisfy group-likeaxioms. using the notion of “belonging ($epsilon$)” and “quasi-coincidence (q)” offuzzy points with fuzzy sets, the concept of ($epsilon$, $epsilon$ $vee$ q)-fuzzy subpolygroups isintroduced. the study of ($epsilon$, $epsilon$ $vee$ q)-fuzzy normal subpolygroups of a polygroupare dealt with. characterization and some of the fundam...

In this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. Weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

In this paper, by using the notions of ”not belonging” (∈) and ”non quasi-k-coincidence” (qk) of a fuzzy point with a fuzzy set, we define the notion of (∈,∈ ∨ qk)-fuzzy subgroups of a group which is a generalization of fuzzy subgroups and (∈,∈ ∨ q)-fuzzy subgroups. Aslo, we generalized the concept of ∈-level set, (∈ ∨ q)-level set and (∈,∈ ∨ q)level set by using ”not belonging” (∈) and ”non qu...

We initiate the study of interval-valued fuzzy quasi-ideal of a semigroup. In Section 2, we list some basic definitions in the later sections. In Section 3, we investigate interval-valued fuzzy subsemigroups and in Section 4, we define intervalvalued fuzzy quasi-ideals and establish some of their basic properties. In Section 5, we obtain characterizations of regular and intraregular semigroups ...

Right ternary near-rings (RTNR) are generalization of their binary counterpart and fuzzy soft sets are generalization of soft sets which are parameterized family of subsets of a universal set. In this paper fuzzy soft Nsubgroups, quasi-ideals and bi-ideals over a right ternary near-ring N are defined. The substructures N-subgroups, quasi-ideals and bi-ideals of an RTNR are characterized in term...

The aim of this paper is to study induced (quasi-)uniformities in Kramosil and Michalek's fuzzy metric spaces. Firstly, $I$-uniformity in the sense of J. Guti'{e}rrez  Garc'{i}a and $I$-neighborhood system in the sense of H"{o}hle and u{S}ostak are induced by the given fuzzy metric. It is shown that the fuzzy metric and the induced $I$-uniformity will generate the same $I$-neighborhood system. ...

in this paper, we introduce the notion of ($epsilon $, $epsilon $ $vee$ q_{k})− fuzzy subnear-ring which is a generalization of ($epsilon $, $epsilon $ $vee$ q)−fuzzy subnear-ring. we have given examples which are ($epsilon $, $epsilon $ $vee$ q_{k})−fuzzy ideals but they are not ($epsilon $, $epsilon $ $vee$ q)−fuzzy ideals. we have also introduced the notions of ($epsilon $, $epsilon $ $vee$ ...

the notion of generalized locally bounded $i$-topological vectorspaces is introduced. some of their important properties arestudied. the relationship between this kind of spaces and thelocally bounded $i$-topological vector spaces introduced by wu andfang [boundedness and locally bounded fuzzy topological vectorspaces, fuzzy math. 5 (4) (1985) 87$-$94] is discussed. moreover, wealso use the fam...