The Logic BV and Quantum Causality
作者： Prakash Panangaden , Rick Blute
DOI:
关键词: Quantum 、 Noncommutative logic 、 Commutative property 、 Pure mathematics 、 Noncommutative geometry 、 Mathematics 、 Algebra
摘要: We describe how a logic with commutative and noncommutative connectives can be used for capturing the essence of discrete quantum causal propagation.
参考文章(5)
Lutz Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures pp. 1- 268 ,(2003)
Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden, Discrete Quantum Causal Dynamics International Journal of Theoretical Physics. ,vol. 42, pp. 2025- 2041 ,(2003) , 10.1023/A:1027335119549
Alessio Guglielmi, Lutz Straßburger, A Non-commutative Extension of MELL international conference on logic programming. pp. 231- 246 ,(2002) , 10.1007/3-540-36078-6_16
Alwen Tiu, A SYSTEM OF INTERACTION AND STRUCTURE II: THE NEED FOR DEEP INFERENCE Logical Methods in Computer Science. ,vol. 2, ,(2006) , 10.2168/LMCS-2(2:4)2006
Alessio Guglielmi, A system of interaction and structure ACM Transactions on Computational Logic. ,vol. 8, pp. 1- ,(2007) , 10.1145/1182613.1182614