Kvanttilogiikka

Kvanttilogiikka on looginen järjestelmä, jossa propositiot (asiantilat) vaikuttavat keskenään (interferenssi). Se on kvanttimekaniikkaa sovellettuna logiikkaan. Kvanttilogiikasta on monia erilaisia toteutustapoja tai versioita, ja niiden järjestelmät eroavat paljon klassisesta Boolen algebrasta. Tämä tutkimusalue ja sen nimi saivat alkunsa Garrett Birkhoffin ja John von Neumannin artikkelista vuodelta 1936. Merkittävin ero kvanttilogiikan ja klassisen logiikan välillä on propositionaalisen distributiivisen lain noudattamatta jättäminen.

Kvanttilogiikan paras mahdollisuus elpymiseen on kvanttilaskennan kehitys, joka on tuottanut runsaasti uusia logiikoita kvanttiprotokollien ja -algoritmien muodolliseen analyysiin.

 Katso myös 
 Kvanttiohjelmointi
 Kvanttitietokone
Lähteet

 Kirjallisuutta 














Luokka:Kvanttimekaniikka
Luokka:Matemaattinen logiikka