Skip to main content
SpringerLink
Log in

Partial Boolean algebras in a broader sense

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The article deals with compatible families of Boolean algebras. We define the notion of a partial Boolean algebra in a broader sense (PBA(bs)) and then we show that there is a mutual correspondence between PBA(bs) and compatible families of Boolean algebras (Theorem (1.8)). We examine in detail the interdependence between PBA(bs) and the following classes: partial Boolean algebras in the sense of Kochen and Specker (§ 2), ortholattices (§ 3, § 5), and orthomodular posets (§ 4), respectively.

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. Kochen and E. P. Specker, Logical structure arising in quantum theory, in: Symposium on the Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, North-Holland, Amsterdam, 1965.

    Google Scholar 

  2. —, The calculus of partial prepositional functions, in: Logic, Methodology and the Philosophy of Science, North-Holland, Amsterdam, 1965.

    Google Scholar 

  3. —, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967), pp. 59–67.

    Google Scholar 

  4. E. P. Specker, The logic of propositions which are not simultaneously decidable, Dialectica 14 (1960), pp. 239–246.

    Google Scholar 

  5. F. Kamber, The structure of the propositional calculus of a physical theory, Nachrichten der Akademie der Wissenschaften Mathematisch-Physikalische Klasse 10 (1964), pp. 103–124.

    Google Scholar 

  6. V. Varadarajan, Geometry of Quantum Theory, Van Nostrand, Princeton N. J., 1968.

    Google Scholar 

  7. N. Zierler and M. Schlessinger, Boolean embeddings of orthomodular sets and quantum logic, Duke Mathematical Journal 32 (1965), pp. 251–262.

    Google Scholar 

  8. P. D. Finch, On the structure of quantum logic, Journal of Symbolic Logic 34 (1969), pp. 275–282.

    Google Scholar 

  9. J. von Neumann and G. Birkhoff, The logic of quantum mechanics, Annals of Mathematics 37 (1936), pp. 823–843.

    Google Scholar 

  10. H. Putnam, How to think quantum-logically, Synthese 29 (1974), pp. 55–61.

    Google Scholar 

  11. nH. Dishkant, Semantics of the minimal logic of quantum mechanics, Studio Logica 30 (1972).

  12. M. L. Dalla Chiara, A general approach to non-distributive logics, Studia Logica 35 (1976), pp. 139–163.

    Google Scholar 

  13. J. Czelakowski, Logics based on partial Boolean σ-algebras, Part I, Studia Logica 33 (1974), pp. 371–396.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Section of Logic, Polish Academy of Sciences Institute of Philosophy and Sociology, Poland

    Janusz Czelakowski

Authors
  1. Janusz Czelakowski
    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

Czelakowski, J. Partial Boolean algebras in a broader sense. Stud Logica 38, 1–16 (1979). https://doi.org/10.1007/BF00493669

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation