Abstract
We now study some stronger examples of unsharp quantum logic, that have been called Brouwer Zadeh logics (also fuzzy intuitionistic logics). These logics represent natural abstractions from the class of all BZ-lattices (defined in Chapter 4). As expected, a characteristic property of Brouwer Zadeh logics is a splitting of the connective “not” into two forms of negation: a fuzzy-like negation, that gives rise to a paraconsistent behavior and an intuitionistic-like negation. The fuzzy “not” represents a weak negation, that inverts the two extreme truth-values (truth and falsity), satisfies the double negation principle but generally violates the noncontradiction principle. The second “not” is a stronger negation, a kind of necessitation of the fuzzy “not”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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). The Brouwer Zadeh logics. In: Reasoning in Quantum Theory. Trends in Logic, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0526-4_15
Download citation
DOI: https://doi.org/10.1007/978-94-017-0526-4_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6562-9
Online ISBN: 978-94-017-0526-4
eBook Packages: Springer Book Archive