This is to announce the availability by anonymous FTP of "Linear Logic for Generalized Quantum Mechanics," to appear in the forthcoming proceedings of the recent Physics of Computation Workshop. 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. @InProceedings( Pr92g, Author="Pratt, V.R.", Title="Linear Logic for Generalized Quantum Mechanics", Booktitle="Proc. of Physics of Computation workshop", Address="Dallas", Month=Oct, Year=1992) FTP instructions for ql.{tex,dvi} ftp boole.stanford.edu (36.8.0.65) Login: ftp (synonym for anonymous) Paswd: user@host (your usual email address) bin (if you are retrieving a .dvi file) prompt off (if you want no ? prompts from mget) ls -ltr (see what's there, most recent last) mget ql.tex ql.dvi (if you need both) quit (exit from FTP) -- Vaughan Pratt ==============================================================================