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 条
[1]   Towards Quantum Computational Logics [J].
Ledda, Antonio ;
Sergioli, Giuseppe .
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2010, 49 (12) :3158-3165
[2]   Quantum computational logics and possible applications [J].
Chiara, Maria Luisa Dalla ;
Giuntini, Roberto ;
Leporini, Roberto ;
di Francia, Giuliano Toraldo .
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2008, 47 (01) :44-60
[3]   Quantum Computational Logics and Possible Applications [J].
Maria Luisa Dalla Chiara ;
Roberto Giuntini ;
Roberto Leporini ;
Giuliano Toraldo di Francia .
International Journal of Theoretical Physics, 2008, 47 :44-60
[4]   Abstract quantum computing machines and quantum computational logics [J].
Chiara, Maria Luisa Dalla ;
Giuntini, Roberto ;
Sergioli, Giuseppe ;
Leporini, Roberto .
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2016, 14 (04)
[5]   Quantum computational finite-valued logics [J].
Bertini, Cesarino ;
Leporini, Roberto .
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2007, 5 (05) :641-665
[6]   Towards a Multi Target Quantum Computational Logic [J].
Giuseppe Sergioli .
Foundations of Science, 2020, 25 :87-104
[7]   Towards a Multi Target Quantum Computational Logic [J].
Sergioli, Giuseppe .
FOUNDATIONS OF SCIENCE, 2020, 25 (01) :87-104
[8]   Logics from quantum computation [J].
Dalla Chiara, ML ;
Giuntini, R ;
Leporini, R .
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2005, 3 (02) :293-337
[9]   PLQP & Company: Decidable Logics for Quantum Algorithms [J].
Baltag, Alexandru ;
Bergfeld, Jort ;
Kishida, Kohei ;
Sack, Joshua ;
Smets, Sonja ;
Zhong, Shengyang .
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2014, 53 (10) :3628-3647
[10]   Non-classical logics for quantum computations [J].
Pykacz, J ;
Zapatrin, RR .
PHOTONIC QUANTUM COMPUTING, 1997, 3076 :150-161
12345