Some generalizations of fuzzy structures in quantum computational logic

References

• Aharonov, D., Kitaev, A., Nisam, N., 2006. Quantum circuits with mixed states, Proceedings of the 30th annual symposium on the theory of computing, 20–30
   Google Scholar
• Beltrametti , E. and Cassinelli , G. 1981 . The Logic of quantum mechanics, vol. XV of encyclopedia of mathematics and its applications , Boston, MA : Addison-Wesley .
   Google Scholar
• Bou , F. , Paoli , F. , Ledda , A. and Freytes , H. 2008 . On some properties of quasi-MV algebras and quasi-MV algebras. Part II . Soft computing , 12 : 341 – 352 .
   Google Scholar
• Cattaneo , G. and Nisticò , G. 1989 . Brouwer-Zadeh posets and three-valued Lukasiewicz posets . Fuzzy sets and systems , 33 : 165 – 190 .
   Google Scholar
• Cattaneo , G. , Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2001 . An unsharp logic from quantum computation . International journal of theoretical physics , 43 : 1803 – 1817 .
   Google Scholar
• Cattaneo , G. , Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2004 . Quantum computational structures . Mathematica Slovaca , 54 : 87 – 108 .
   Google Scholar
• Cignoli , R. , D'Ottaviano , I.M.L. and Mundici , D. 1999 . Algebraic foundations of many-valued reasoning , Dordrecht : Kluwer .
   Google Scholar
• Cintula , P. 2001. . An alternative approach to the ŁΠ logics . Neural network world , 11 : 561 – 572 .
   Google Scholar
• Cohen-Tannoudji , C. , Diu , B. and Laloë , F. 1997 . Quantum mechanics , Vol. I , New York : Wiley .
   Google Scholar
• Dalla Chiara , M.L. , Giuntini , R. and Greechie , R. 2004 . Reasoning in quantum theory , Dordrecht : Kluwer .
   Google Scholar
• Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2003 . “ Quantum computational logics: a survey ” . In Trends in logic: 50 years of studia logica , Edited by: Hendricks , V.F. and Malinowski , J. 213 – 255 . Dordrecht : Kluwer .
   Google Scholar
• Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2005 . Logics from quantum computation . International journal of quantum information , 3 ( 2 ) : 293 – 337 .
   Google Scholar
• Dalla Chiara , M.L. , Giuntini , R. and Leporini , R. 2007 . “ Reversibility and irreversibility in quantum computation and in quantum computational logics ” . In Algebraic and proof-theoretic aspects of nonclassical logics , Edited by: Aguzzoli , S. 84 – 106 . Berlin : Springer .
   Google Scholar
• Deutsch , D. 1985 . Quantum theory, the Church-Turing principle and the universal quantum computer . Proceedings of the royal society of London A , 400 : 97 – 117 .
   Google Scholar
• Fine , K. 1975 . Vagueness, truth and logic . Synthese , 30 : 265 – 300 .
   Google Scholar
• Foulis , D.J. and Bennett , M.K. 1994 . Effect algebras and unsharp quantum logic . Foundations of physics , 24 : 1325 – 1346 .
   Google Scholar
• Freytes, H., Giuntini, R., Ledda, A., Sergioli, G., Stone-Weierstrass theorems for quantum operations, submitted for publication
   Google Scholar
• Giuntini , R. 1996 . Quantum MV algebras . Studia logica , 56 : 393 – 417 .
   Google Scholar
• Giuntini , R. , Ledda , A. and Paoli , F. 2007 . Expanding quasi-MV algebras by a quantum operator . Studia logica , 87 ( 1 ) : 9
   Google Scholar
• Goguen , J.A. 1969 . The logic of inexact concepts . Synthese , 19 : 325 – 373 .
   Web of Science ®Google Scholar
• Hajek , P. , Godo , L. and Esteva , F. 1996 . A complete many-valued logic with product conjunction . Archive for mathematical logic , 35 : 1 – 19 .
   Google Scholar
• Ledda , A. , Konig , M. , Paoli , F. and Giuntini , R. 2006 . MV algebras and quantum computation . Studia logica , 82 ( 2 ) : 245 – 270 .
   Google Scholar
• Ludwig , G. 1983 . Foundations of quantum mechanics , Berlin : Springer .
   Google Scholar
• Montagna , F. 2000 . An algebraic approach to propositional fuzzy logic . Journal of logic, language and information , 9 : 91 – 124 .
   Google Scholar
• Nielsen , M. and Chuang , I. 2000 . Quantum computation and quantum information , Cambridge : Cambridge University Press .
   Google Scholar
• Paoli , F. , Ledda , A. , Giuntini , R. and Freytes , H. 2008 . On some properties of quasi-MV algebras and quasi-MV algebras. Part I . Reports on mathematical logic , 44 : 53 – 85 .
   Google Scholar
• Peña , L. 1993 . Review . Slippery slope arguments, pragmatics and cognition , 1 : 401 – 410 . of D. Walton
   Google Scholar
• Reed , M. and Simon , B. 1972 . Methods of modern mathematical physics , Vol. I , New York : Academic Press .
   Google Scholar
• Williamson , T. 1994 . Vagueness , London : Routledge .
   Google Scholar