In this paper we prove strong completeness of axiomatic extensions of First Order SMTL logic adding the so-called quasi-witnessed axioms with respect to quasi-witnessed Models. In order to achieve this result, we make use of methods that are typical of Classical Predicate Logic, and have been later generalized by P. Hájek to cope with Predicate Fuzzy Logic. At the end of the paper, we obtain, a...

In this paper we formally define the problem of automatic detection of thematic categories in a semantically indexed document, and identify the main obstacles to overcome in this process. Furthermore, we explain how detection of thematic categories can be achieved, with the use of a fuzzy quasi-taxonomic relation. Our approach relies on a fuzzy hierarchical clustering algorithm; this algorithm ...

Lipschitzian and kernel aggregation operators with respect to the natural T indistinguishability operator ET and their powers are studied. A t-norm T is proved to be ET -lipschitzian, and is interpreted as a fuzzy point and a fuzzy map as well. Given an archimedean t-norm T with additive generator t, the quasi-arithmetic mean generated by t is proved to be the more stable aggregation operator w...

In this paper we present a general indexing scheme for model-based occluded object recognition. This new technique is called fuzzy invariant indexing (FII). It is based on fuzzy if-then-classification rules and fuzzified invariant object descriptions, which can be either invariant values or invariant signatures. We describe the framework of the method and its general applicability: if invariant...

This paper is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M , and we define a Galois connection from the lattice of the compatible L-preorders in M and the lattice of L-submonoids of M . Given a set S we define a Galois connection between the lattice of the L-preorders in S and the lattice of L-submonoids of the mon...

We consider the internal rate of return (IRR) decision rule in capital budgeting problems with fuzzy cash flows. The possibility distribution of the IRR at any r ≥ 0, is defined to be the degree of possibility that the (fuzzy) net present value of the project with discount factor r equals to zero. We show that the possibility distribution of the IRR is a highly nonlinear function of quasi-trian...

In cite{Kats84}, Katsaras introduced a method for constructing a Hu-tton $[0,1]$-quasi-uniformity from a crisp uniformity. In this paper we present other different methods for making this based mainly in the concept of a fuzzy uniform structure. Furthermore, we prove that some of these methods preserve the completeness property of the quasi-uniformity.  Moreover, we also show that Katsaras' con...

In previous our research, the concepts of visible submodules and fully modules were introduced, then these two fuzzified to fuzzy fuzzy. The main goal this paper is study relationships between some types such as semiprime, prime, quasi, divisible, F-regular, quasi injective, duo modules, where under certain conditions it has been proven that each module duo. addition, there are many various pro...

We prove that an hypersemigroup H is regular if and only, for any fuzzy subset f of H, we have f f ◦ 1 ◦ f and it is intra-regular if and only if, for any fuzzy subset f of H, we have f 1 ◦ f ◦ f ◦ 1. An hypersemigroup H is left (resp. right) quasi-regular if and only if, for any fuzzy subset f of S we have f 1 ◦ f ◦ 1 ◦ f (resp. f f ◦ 1 ◦ f ◦ 1) and it is semisimple if and only if, for any fuz...