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

In this paper, new definitions of $L$-fuzzy closure operator, $L$-fuzzy interior operator, $L$-fuzzy remote neighborhood system, $L$-fuzzy neighborhood system and $L$-fuzzy quasi-coincident neighborhood system are proposed. It is proved that the category of $L$-fuzzy closure spaces, the category of $L$-fuzzy interior spaces, the category of $L$-fuzzy remote neighborhood spaces, the category of ...

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 investigate the l-fuzzy proximities and the relationships betweenl-fuzzy topologies, l-fuzzy topogenous order and l-fuzzy uniformity. first, we show that the category of-fuzzy topological spaces can be embedded in the category of l-fuzzy quasi-proximity spaces as a coreective full subcategory. second, we show that the category of l -fuzzy proximity spaces is isomorphic to the ...

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