This paper is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. Then we obtain (downward and upward) Löwenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical 2-sorted models.
T -generable indistinguishability operators are operators E that can be expressed in the form E = T (E μ 1 , E μ 2 , ..., E μ m ), where T is a t-norm and E μ is the fuzzy relation generated by the fuzzy subset μ. In this paper we analyse their relation with powers with respect to the t-norm T and with quasi-arithmetic means. For non-strict continuous Archimedean t-norms they are completely characterised as generable by crisp equivalence relations. These fuzzy relations are used to define a method, called JADE, useful for feature selection and classification tasks. JADE is based on minimising the distance between two indistinguishability measures: the one given by weighting the attribute-values describing the domain objects and the other one given by the correct classification taken as an equivalence relation. The preliminary experiments we carried out with JADE are promising concerning the accuracy in solving classification tasks. We also report some issues of the method that could be improved in the future.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.