Skip to main content
SpringerLink
Log in

Fuzzy intuitionistic quantum logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective “not” is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL 3) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Cattaneo andG. Nisticò,Brouwer-Zadeh posets and three-valued Łukasiewicz posets Fuzzy Sets ans Systems 33 (1989) pp. 165–190.

    Google Scholar 

  2. G. Cattaneo, C. Garola andG. Nisticò,Preparation-effect versus question-proposition structures Physics Essays 2 (1989), pp. 197–216.

    Google Scholar 

  3. G. Cattaneo, M. L. Dalla Chiara andR. Giuntini,Empirical semantics for fuzzy-intuitionistic quantum logic, preprint.

  4. M. L. Dalla Chiara,Quantum logic in D. Gabbay, F. Guenthner (eds.),Handbook of Philosophical Logic, III Reidel, Dordrecht 1986, pp. 427–469.

    Google Scholar 

  5. M. L. Dalla Chiara andR. Giuntini,Paraconsistent quantum logics Foundations of Physics 19 (1989), pp. 891–904.

    Google Scholar 

  6. H. Dishkant,Semantics of the minimal logic of quantum mechanics Studia Logica 30 (1972), pp. 3–30.

    Google Scholar 

  7. R. Giuntini,Brouwer-Zadeh logic and the operational a(19), pproach to quantum mechanics,Foundations of Physics 20 (1990), pp. 701–714.

    Google Scholar 

  8. R. Giuntini,A semantical investigation on Brouwer-Zadeh logics Journal of Philosophical Logic 20 (1991), pp. 411–433.

    Google Scholar 

  9. R. Giuntini,Semantic alternatives in Brouwer-Zadeh logics, to be published inInternational Journal of Theoretical Physics.

  10. R. I. Goldblatt,Semantic analysis of orthologic Journal of Philosophical Logic 3 (1974), pp. 19–35.

    Google Scholar 

  11. P. Minari,On the algebraic and the kripkean logical consequence relation for orthomodular quantum logic Reports on Mathematical Logic 21 (1987), pp. 47–54.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università di Milano, Milano, Italy

    Gianpiero Cattaneo

  2. Dipartimento di Filosofia, Università di Firenze, Firenze, Italy

    Maria L. Dalla Chiara & Roberto Giuntini

Authors
  1. Gianpiero Cattaneo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria L. Dalla Chiara
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Giuntini
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cattaneo, G., Dalla Chiara, M.L. & Giuntini, R. Fuzzy intuitionistic quantum logics. Stud Logica 52, 419–442 (1993). https://doi.org/10.1007/BF01057656

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01057656

Keywords

Search

Navigation