Skip to main content
SpringerLink
Log in

The logics of orthoalgebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.

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. S. Bugajski, ‘Nonlinear quantun mechanics is a classical theory’,International Journal of Theoretical Physics 30 1991, 961–971.

    Google Scholar 

  2. G. Cattaneo andF. Laudisa, ‘Axiomatic quantum mechanics’,Foundations of Physics 24 1994, 631–681.

    Google Scholar 

  3. J. Czelakowski, ‘Logics based on partial Boolean σ-algebras’,Studia Logica 33 1974, 371–396.

    Google Scholar 

  4. M.L. Dalla Chiara, ‘Quantum logic’, (ed.)s D. Gabbay, F. Guenthner, in:Handbook of Philosophical Logic III, Reidel, Dordrecht 1986.

    Google Scholar 

  5. M. L. Dalla Chiara andR. Giuntini, ‘Unsharp quantum logics’,Foundations of Physics 24 1994, 1161–1177.

    Google Scholar 

  6. D.J. Foulis, R.J. Greechie andG.T. Rüttimann, ‘Filters and supports in orthoalgebras’,International Journal of Theoretical Physics 31 1992, 787–807.

    Google Scholar 

  7. D.J. Foulis andC. Randall, ‘Empirical logics’, (ed.) H. Neumann, in:Interpretations and Foundations of Quantum Mechanics Bibliographisches Institut, Mannheim 1981.

    Google Scholar 

  8. R. Giuntini andH. Greuling, ‘Toward a formal language for unsharp properties’,Foundations of Physics 20 1989, 931–935.

    Google Scholar 

  9. R. Goldblatt, ‘Semantic analysis of orthologic’,Journal of Philosophical Logic 2 1974, 19–35.

    Google Scholar 

  10. G. Hardegree andP. Lock, ‘Connections among quantum logics’,International Journal of Theoretical Physics 24 1984, 43–53.

    Google Scholar 

  11. S. Kochen andE. Specker, ‘The calculus of partial propositional functions’, (ed.) Y. Bar-Hillen, in:Logic, Methodology and the Philosophy of Science, North-Holland, Amsterdam.

  12. F. Kôpka andF. Chovanec, ‘D-posets’,Mathematica Slovaca 44 1994, 21–34.

    Google Scholar 

  13. M. Navara andP. Pták, ‘Difference posets and orthoalgebras’, (submitted).

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Filosofia, Università di Firenze, via Bolognese 52, 50139, Firenze, Italy

    Maria Luisa Dalla Chiara & Roberto Giuntini

Authors
  1. Maria Luisa Dalla Chiara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. 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

Dalla Chiara, M.L., Giuntini, R. The logics of orthoalgebras. Stud Logica 55, 3–22 (1995). https://doi.org/10.1007/BF01053029

Download citation

  • Received:

  • Issue Date:

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

Key words and phrases

Search

Navigation