DMCA
Linear logic for generalized quantum mechanics (1993)
| Venue: | In Proc. Workshop on Physics and Computation (PhysComp'92 |
| Citations: | 21 - 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}
}
Share
 |
 |
 |
 |
||
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
Keyphrases
linear logic generalized quantum mechanic quantum logic computer-aided design system structure veil uncertain state uncertainty tradeoff state transition heisenberg uncertainty tradeoff strong connection linear automaton quantum effect girard linear logic dual linear schedule computational behavior dynamic quantum logic
