Compositional and holistic quantum computational semantics

Natural Computing

Volumn 6, Issue 2, 2007, Pages 113-132

  Dalla Chiara, Maria Luisa ^a   Giuntini, Roberto ^b   Leporini, Roberto ^c  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c UNIVERSITY OF BERGAMO   (Italy)

Author keywords

Quantum computation; Quantum logic

Indexed keywords

ACCURACY; CONFERENCE PAPER; CORRELATION ANALYSIS; INFORMATION PROCESSING; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; MATHEMATICAL MODEL; MATHEMATICAL PARAMETERS; MATHEMATICS; PROBABILITY; QUANTUM THEORY; SEMANTICS;

EID: 34250214177     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-006-9020-x     Document Type: Conference Paper

References (8)

1. Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Annals of Mathematics 37:823-843
2. Dalla Chiara ML, Giuntini R and Leporini R (2003) Quantum computational logics. A survey. In: Hendricks V and Malinowski J (eds) Trends in Logic. 50 Years of StudiaLogica, pp. 229-271. Kluwer
3. Dalla Chiara ML, Giuntini R, Leporini R (2004a) Quantum computational logics and Fock space semantics. International Journal of Quantum Information 2:1-8
4. Dalla Chiara ML, Giuntini R, Leporini R (2005) Logics from quantum computation. International Journal of Quantum Information 3:293-337
5. Dalla Chiara ML, Giuntini R (2002) Quantum logics. In: Gabbay G, Guenthner F (eds) Handbook of Philosophical Logic, vol. VI. Kluwer, Dordrecht, pp. 129-228
6. Dalla Chiara ML, Giuntini R, Greechie R (2004b) Reasoning in Quantum Theory. Kluwer, Dordrecht
7. Deutsch D, Ekert A, Lupacchini R (2000) Machines, logic and quantum physics. Bulletin of Symbolic Logic 3:265-283
8. Gudder S (2003) Quantum computational logic. International Journal of Theoretical Physics 42: 39-47