This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system Ev L of fuzzy logic that has evaluated syntax, i.e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable in some general degree. A generalization of Gödel’s completeness theorem does hold in Ev L. The truth values form...

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality betwe...

This talk is based on [2]. We establish, generalizing Di Nola and Lettieri’s categorical equivalence [3], a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MValgebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classi...

[1] Recent experimental and modeling studies show that large quasi-static electric fields (2–20 kV/m) can be developed in a Martian or terrestrial dust devil as a result of contact electrification and charge separation of dust grains with different sizes and compositions. Electric discharging occurs when the maximum electric field reaches breakdown values ( 20 kV/m on Mars and 3 MV/m on Earth, ...

Kiriakos Kotzabasis and Horst Senger Fachbereich Biologie/Botanik, Philipps-Universität, Lahnberge, D-3550 Marburg, Bundesrepublik Deutschland Z. Naturforsch. 41c, 1001 — 1003 (1986); received July 1, 1986 Scenedesmus obliquus, Protochlorophyllide, Monovinyl Protochlorophyllide, Divinyl Protochlorophyllide Three Protrochlorophyllides (protochlorophyllide) were separated from mutant C-2 A' of th...

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

We demonstrate, for the first time, the large electromechanical response in ne-matic liquid crystalline elastomers filled with a very low (∼ 0.01%) concentration of carbon nanotubes, aligned along the nematic director at preparation. The nan-otubes create a very large effective dielectric anisotropy of the composite. Their local field-induced torque is transmitted to the rubber-elastic network ...

A new design for a true-linear generator suitable for electrochemical measures is presented. The main component of generation system is an MAX038 chip, a high-frequency relaxation-type oscillator. The design is completed with a digital interface for computer control and an output stage to make signal suitable for cyclic voltammetry experiments. A digital circuit is also included to obtain singl...

Three-level logic is shown to have a potential for reduction of the area over twolevel implementations, as well as for a gain in speed over multi-level implementations. In this paper we present an heuristic algorithm, AOXMIN-MV, targeting a three-level logic expression which is an XOR of two sum-of-products. For some practical functions, such an AND-OR-XOR expression may have up to 27 times les...