Abstract
Finally we study a new form of unsharp quantum logic that has been naturally suggested by the theory of quantum computation. One of the most interesting logical proposals that arise from quantum computation is the idea to use the quantum theoretical formalism in order to represent parallel reasoning.1 As is well known, the unit of measurement in classical information theory is the bit: one bit measures the information quantity that can be either transmitted or received whenever one chooses one element from a set consisting of two elements, say, from the set {0, 1}. From the intuitive point of view, both the objects 0 and 1 can be imagined as a well determined state of a classical physical system, for instance, the state of a tape cell in a given machine.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Dalla Chiara, M., Giuntini, R., Greechie, R. (2004). Quantum computational logic. In: Reasoning in Quantum Theory. Trends in Logic, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0526-4_17
Download citation
DOI: https://doi.org/10.1007/978-94-017-0526-4_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6562-9
Online ISBN: 978-94-017-0526-4
eBook Packages: Springer Book Archive