In previous investigations into the subject ([4], [9], [1]), p 0 quasi-MV algebras have been mainly viewed as preordered structures w.r.t. the induced preorder relation of their quasi-MV term reducts. In this paper, we shall focus on a di¤erent relation which partially orders cartesian p 0 quasi-MV algebras. We shall prove that: a) every cartesian p 0 quasi-MV algebra is embeddable into an inte...

Campylobacter is the leading cause of bacterial diarrheal disease worldwide. Although most episodes of campylobacteriosis are self-limiting, antibiotic treatment is usually needed in patients with serious enteritis, and especially in childrens or the elderly. In the last years, antibiotic resistance in Campylobacter has become a major public health concern and a great interest exists in develop...

We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “ Lukasiewicz Transform Based” ( LTB) algorithm for image processing, demonstrating its applicability.

Citation: Aversa L, Taioli S, Nardi MV, Tatti R, Verucchi R and Iannotta S (2015) The interaction of C60 on Si(111) 7×7 studied by supersonic molecular beams: interplay between precursor kinetic energy and substrate temperature in surface activated processes. Front. Mater. 2:46. doi: 10.3389/fmats.2015.00046 The interaction of C60 on Si(111) 7×7 studied by supersonic molecular beams: interplay ...

We investigate interpretations ‖ψ‖D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a complete MV-algebra Ω. These interpretations are fuzzy sets in some Ωsets. We show that if φ : D1 → D2 is a strong homomorphism between two models then there are also strong relationships between interpretations ‖ψ‖D1 and ‖ψ‖D...

This paper presents some methods of representing canonical commutation relations in terms of hyper nite-dimensional matrices, which are constructed by nonstandard analysis. The rst method uses representations of a nonstandard extension of nite Heisenberg group, called hyper nite Heisenberg group. The second is based on hyper nite-dimensional representations of so(3). Then, the cases of in nite ...

Ward and Dilworth 1 introduced the concept of residuated lattices as generalization of ideal lattices of rings. The residuated lattice plays the role of semantics for a multiple-valued logic called residuated logic. Residuated logic is a generalization of intuitionistic logic. Therefore it is weaker than classical logic. Important examples of residuated lattices related to logic are Boolean alg...

Abstract Algebraic Logic is a general theory of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski process. The notions of logical matrix and of Leibniz congruence are among its main building blocks. Its most successful part has been developed mainly by BLOK, PIGOZZI and CZELAKOWSKI, and obtains a deep theory and very nice and powerful results ...

We define the Łukasiewicz Transform by mean of the partition of unity defined in [4] and semimodules over the semiring reducts of an MV-algebra. Then we describe the “Łukasiewicz Transform Based” (ŁTB) algorithm for image processing, showing some results of its application.

Learning over multi-view data is a challenging problem with strong practical applications. Most related studies focus on the classification point of view and assume that all the views are available at any time. We consider an extension of this framework in two directions. First, based on the BiGAN model, the Multi-view BiGAN (MV-BiGAN) is able to perform density estimation from multi-view input...