## Linear logic for generalized quantum mechanics (1993)

Venue: | In Proc. Workshop on Physics and Computation (PhysComp'92 |

Citations: | 16 - 2 self |

### BibTeX

@INPROCEEDINGS{Pratt93linearlogic,

author = {Vaughan Pratt},

title = {Linear logic for generalized quantum mechanics},

booktitle = {In Proc. Workshop on Physics and Computation (PhysComp'92},

year = {1993},

pages = {166--180},

publisher = {IEEE}

}

### Years of Citing Articles

### OpenURL

### Abstract

Quantum logic is static, describing automata having uncertain states but no state transitions and no Heisenberg uncertainty tradeoff. We cast Girard’s linear logic in the role of a dynamic quantum logic, regarded as an extension of quantum logic with time nonstandardly interpreted over a domain of linear automata and their dual linear schedules. In this extension the uncertainty tradeoff emerges via the “structure veil. ” When VLSI shrinks to where quantum effects are felt, their computer-aided design systems may benefit from such logics of computational behavior having a strong connection to quantum mechanics. 1