Quantum computational logics provide a fertile common ground for a uni ed treatment of vagueness and uncertainty. In this paper we describe an approach to the logic of quantum computation that has been recently taken up and developed by the present authors. Special attention will be devoted to a generalisation of Chang's MV algebras (called quasi-MV algebra) which abstracts over the algebra who...

In this paper we study an outer measure on MV -algebras. In Section 1 the definition of MV -algebra and Mundici theorem are remind. In Section 2 there is defined an outer measure, measurable elements and there is proved Choquet lema for this structure. In conclusion some properties of measurable elements are resumed.

This paper investigates the origins of sub-threshold slope degradation in vertical MOSFETs (v-MOSFETs) due to dry etching of the polysilicon surround gate. Control v-MOSFETs exhibit a degradation of subthreshold slope as the channel length is reduced from 250 to 100 nm, with 100 nm transistors having a value of 125 mV/dec and a DIBL of 210 mV/V. The effect of the polysilicon gate etch is invest...

The focus of this paper is the class of perfect GMV-algebras, which includes all non-commutative analogues of perfect MV-algebras. As in the commutative case, we show that each perfect GMV-algebra possesses a single negation, it is generated by its infinitesimal elements, and can be realized as an interval in a lexicographical product of the lattice-ordered group of integers and an arbitrary la...

We present a preliminary study of applying the concepts of algebraic geometry over fields to the theory of MV-algebras. We proceed along lines similar to B. Plotkin and others where an algebraic geometry over groups is developed.

Here, we report a spontaneously formed nanolamellar BaTiO3–CoFe2O4 bicrystal. 11̄0 interfaces join the BaTiO3 and CoFe2O4 single crystalline periodically arranged lamellae that have a common 111 direction. The superlattice of approximately 2 nm wavelength is magnetoelectric with a frequency dependent coupling coefficient of 20 mV/Oe cm at 100 Hz. The BaTiO3 component is a ferroelectric relaxor w...

Multiple-valued logics are non-classical logics. They are similar to classical logic because they accept the principle of truth-functionality, namely, the truth of a compound sentence is determined by the truth values of its component sentences (and so remains unaffected when one of its component sentences is replaced by another sentence with the same truth value). But they differ from classica...

A multi-valued version of CTL (mv-CTL), where both the propositions and the accessibility relation are multi-valued taking values in a nite quasi-boolean algebra, is considered. A general translation from mv-CTL to CTL model checking is deened. An application of the translation is shown for the most commonly used quasi-boolean algebras.

Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital l-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra A of a finitely presented algebra F to coincide with F . The separation and isomorphism conditions do not individually imply A = F . Various related problems, like the s...

The poset product construction is used to derive embedding theorems for several classes of generalized basic logic algebras (GBL-algebras). In particular it is shown that every n-potent GBL-algebra is embedded in a poset product of finite n-potent MV-chains, and every normal GBL-algebra is embedded in a poset product of totally ordered GMV-algebras. Representable normal GBLalgebras have poset p...