Towards Quantum Computational Logics

被引：8
|
作者：
Ledda, Antonio [1 ]
Sergioli, Giuseppe [1 ]
机构：
[1] Univ Cagliari, Dept Educ, I-09123 Cagliari, Italy
来源：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2010年 / 49卷 / 12期
关键词：
Pure State; Quantum Computation; Density Operator; Regular Element; Quantum Circuit;
D O I：
10.1007/s10773-010-0368-4
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
Quantum computational logics have recently stirred increasing attention (Cattaneo et al in Math Slovaca 54 87-108, 2004, Ledda et al in Stud Log 82(2) 245-270,2006, Giuntini et al in Stud Log 87(1) 99-128, 2007) In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group
引用
收藏
页码：3158 / 3165
页数：8
相关论文
共 50 条
  • [1] Towards Quantum Computational Logics
    Antonio Ledda
    Giuseppe Sergioli
    [J]. International Journal of Theoretical Physics, 2010, 49 : 3158 - 3165
  • [2] Irreversibility in Quantum Computational Logics
    Sergioli, Giuseppe
    Giuntini, Roberto
    Paoli, Francesco
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2011, 5 (02): : 171 - 191
  • [3] Quantum computational logics and possible applications
    Chiara, Maria Luisa Dalla
    Giuntini, Roberto
    Leporini, Roberto
    di Francia, Giuliano Toraldo
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2008, 47 (01) : 44 - 60
  • [4] Quantum Computational Logics and Possible Applications
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    Giuliano Toraldo di Francia
    [J]. International Journal of Theoretical Physics, 2008, 47 : 44 - 60
  • [5] Abstract quantum computing machines and quantum computational logics
    Chiara, Maria Luisa Dalla
    Giuntini, Roberto
    Sergioli, Giuseppe
    Leporini, Roberto
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2016, 14 (04)
  • [6] Probability in quantum computation and quantum computational logics: a survey
    Dalla Chiara, Maria Luisa
    Giuntini, Roberto
    Sergioli, Giuseppe
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (03)
  • [7] Reversibility and irreversibility in quantum computation and in quantum computational logics
    Chiara, Maria Luisa Dalla
    Giuntini, Roberto
    Leporini, Roberto
    [J]. ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 84 - +
  • [8] Quantum computational finite-valued logics
    Bertini, Cesarino
    Leporini, Roberto
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2007, 5 (05) : 641 - 665
  • [9] A note on many valued quantum computational logics
    Sergioli, Giuseppe
    Ledda, Antonio
    [J]. SOFT COMPUTING, 2017, 21 (06) : 1391 - 1400
  • [10] Quantum computational logics and Fock space semantics
    Dalla Chiara, ML
    Giuntini, R
    Leporini, R
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2005, 3 (01) : 9 - 16
12345