In this paper we will introduce the variety of state MV-algebras by enlarging the language of MV-algebras with an unary operator σ, and by adding equations ensuring σ to satisfy some basic properties of a state on an MV-algebra in the sense of [4]. The main result of this paper says us that there is a standard way to define a state MV-algebra starting from a state on an MV-algebra and vice-vers...

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

The main aim of this talk is twofold. Firstly, to present an elementary method based on Farkas’ lemma for rationals how to embed any finite partial subalgebra of a linearly ordered MV-algebra into Q [0; 1] and then to establish a new elementary proof of the completeness of the Lukasiewicz axioms for which the MV-algebras community has been looking for a long time. Secondly, to present a direct ...

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

Using a slow liquid-gas diffusion method, the mixed-valence viologen salt (MV)2(BF4)3 (1) and the radical cation salt (MV)(BF4) (2) are crystallized. Both structures contain regular stacks of MV˙(+) radical cations (2) or alternating MV˙(+) and MV(2+) entities (1). A short intrastack intermolecular separation (3.23 Å) unprecedently reveals strong interactions between MV(2+) and MV˙(+) in 1.

Abnormal mitral valve (MV) morphology may lead to high stress generation. Computational simulation of the MV apparatus may help us better understand and characterize the biomechanics and physiology of MV function and disease-related alterations. The MV apparatus geometry was identified using three-dimensional (3D) transesophageal echocardiographic (TEE) patient data. These data were converted i...