Towards Quantum Computational Logics

被引：0
作者：
Antonio Ledda
Giuseppe Sergioli
机构：
[1] University of Cagliari,Department of Education
来源：
International Journal of Theoretical Physics | 2010年 / 49卷
关键词：
Pure State; Quantum Computation; Density Operator; Regular Element; Quantum Circuit;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：7
相关论文
共 50 条
  • [21] Integrability, neural and quantum computational complexity
    Krishnamurthy, EV
    Krishnamurthy, V
    [J]. WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 547 - 554
  • [22] Compositional and holistic quantum computational semantics
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    [J]. Natural Computing, 2007, 6 (2) : 113 - 132
  • [23] Quantum computational semantics on Fock space
    Dalla Chiara, M. L.
    Giuntini, R.
    Gudder, S.
    Leporini, R.
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 44 (12) : 2219 - 2230
  • [24] Integrability and quantum parallel computational complexity
    Krishnamurthy, EV
    [J]. INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II, 1999, : 91 - 97
  • [25] Towards optimization of quantum circuits
    Sedlak, Michal
    Plesch, Martin
    [J]. CENTRAL EUROPEAN JOURNAL OF PHYSICS, 2008, 6 (01): : 128 - 134
  • [26] Towards a quantum fuzzy computer
    Jurkovic, Franc
    [J]. ELEKTROTEHNISKI VESTNIK-ELECTROCHEMICAL REVIEW, 2007, 74 (05): : 315 - 317
  • [27] Computational complexity of uniform quantum circuit families and quantum Turing machines
    Nishimura, H
    Ozawa, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 276 (1-2) : 147 - 181
  • [28] Diagonal quantum circuits: Their computational power and applications
    Yoshifumi Nakata
    Mio Murao
    [J]. The European Physical Journal Plus, 129
  • [29] Opportunities for Quantum Computation in Computational Fluid Dynamics
    Li, Yan
    [J]. 2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
  • [30] Towards quantum mechanism of sensory transduction
    Khrustalev, OA
    Timofeevskaya, OD
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS III, 2002, : 347 - 352
12345