Quantum computational logics have recently stirred increasing attention (Cattaneoetal.inMath.Slovaca54:87–108,2004;Leddaetal.inStud.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.
Towards quantum computational logics
LEDDA, ANTONIO;SERGIOLI, GIUSEPPE
2010-01-01
Abstract
Quantum computational logics have recently stirred increasing attention (Cattaneoetal.inMath.Slovaca54:87–108,2004;Leddaetal.inStud.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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Towards Quantum Computational Logics.pdf
accesso aperto
Tipologia:
versione post-print
Dimensione
308.33 kB
Formato
Adobe PDF
|
308.33 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
