thumb|oikea|494x494px|Yleiset kvanttilogiikkaoperaattorit nimen, kvanttiportin ja matriisin mukaan. 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