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 条
[31]   Towards quantum mechanism of sensory transduction [J].
Khrustalev, OA ;
Timofeevskaya, OD .
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS III, 2002, :347-352
[32]   Towards Realising Secure and Efficient Image and Video Processing Applications on Quantum Computers [J].
Iliyasu, Abdullah M. .
ENTROPY, 2013, 15 (08) :2874-2974
[33]   Computational complexity in high-dimensional quantum computing [J].
Nagata, Koji ;
Do Ngoc Diep ;
Nakamura, Tadao .
QUANTUM MACHINE INTELLIGENCE, 2022, 4 (02)
[34]   Exact analyses of computational time for factoring in quantum computers [J].
Kunthiro, N .
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (01) :105-111
[35]   Holistic quantum computational semantics and Gestalt-thinking [J].
Dalla Chiara, Maria Luisa ;
Giuntini, Roberto ;
di Francia, Giuliano Toraldo .
QUANTUM MECHANICS, 2006, 844 :86-+
[36]   Some generalizations of fuzzy structures in quantum computational logic [J].
Giuntini, Roberto ;
Ledda, Antonio ;
Sergioli, Giuseppe ;
Paoli, Francesco .
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2011, 40 (01) :61-83
[37]   Computational complexity in high-dimensional quantum computing [J].
Koji Nagata ;
Do Ngoc Diep ;
Tadao Nakamura .
Quantum Machine Intelligence, 2022, 4
[38]   Towards experimental classical verification of quantum computation [J].
Stricker, Roman ;
Carrasco, Jose ;
Ringbauer, Martin ;
Postler, Lukas ;
Meth, Michael ;
Edmunds, Claire ;
Schindler, Philipp ;
Blatt, Rainer ;
Zoller, Peter ;
Kraus, Barbara ;
Monz, Thomas .
QUANTUM SCIENCE AND TECHNOLOGY, 2024, 9 (02)
[39]   TOWARDS A NOVEL ENVIRONMENT FOR SIMULATION OF QUANTUM COMPUTING [J].
Patrzyk, Joanna ;
Patrzyk, Bartlomiej ;
Rycerz, Katarzyna ;
Bubak, Marian .
COMPUTER SCIENCE-AGH, 2015, 16 (01) :103-129
[40]   On the theory of quantum and towards practical computation: A review [J].
Kudelic, Robert .
JOURNAL OF COMPUTATIONAL SCIENCE, 2024, 83
12345