Davide Atzei
Representing continuous t-norms in quantum computation with mixed states
FREYTES, HECTOR CARLOS;SERGIOLI, GIUSEPPE;ARICO', ANTONIO
2010-01-01
Abstract
A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t-norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distributionvalued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (H´ajek 1998 Metamathematics of Fuzzy Logic (Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computationFile | Size | Format | |
---|---|---|---|
20 DB representing JPA.pdf open access
Size 455.93 kB
Format Adobe PDF
|
455.93 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.