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
Bookmark
 |
 |
 |
 |
 |
 |
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
