Skip to main content
SpringerLink
Log in

Kripke Style Semantic for the Logic of Two Valued-States

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baer ∗ semigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established.

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. Adams, D.: Equational classes of Foulis semigroups and orthomodular lattices, Proceedings of the University of Houston, Lattice theory Conference Houston (1973)

  2. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 27, 823–843 (1936)

    Article  MATH  MathSciNet  Google Scholar 

  3. Dalla Chiara, M.L., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory, Sharp and Unsharp Quantum Logics. Kluwer, Dordrecht-Boston-London (2004)

    Book  MATH  Google Scholar 

  4. Dvurec̆enskij, A.: On States on MV-algebras and their Applications. J. Logic Comput. 21, 407–427 (2011)

    Article  MathSciNet  Google Scholar 

  5. Domenech, G., Freytes, H., de Ronde, C.: Equational characterization for two-valued states in orthomodular quantum systems. Rep. Math. Phys. 68, 65–83 (2011)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  6. Foulis, D.: Baer ∗-semigroups. Proc. Am. Math. Soc. 11, 648–654 (1960)

    MATH  Google Scholar 

  7. Freytes, H., Domenech, G., de Ronde, C.: Two-valued states on baer ∗ semigroups. Rep. Math. Phys. 72, 287–310 (2013)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  8. Freytes, H.: Logical approach for Two-Valued states on quantum systems. Int. J. Theor. Phys. 53, 3447–3455 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  9. Gudder, S.: Stochastic Methods in Quantum Mechanics. Elseiver-North-Holand, New York (1979)

    MATH  Google Scholar 

  10. Jauch, J.: Foundations of quantum mechanics. Addison Wesley, Reading, Massachusetts (1968)

    MATH  Google Scholar 

  11. Kalmbach, G.: Ortomodular Lattices. Academic Press, London (1983)

    MATH  Google Scholar 

  12. Harding, J., Pták, P.: On the set representation of an orthomodular poset. Colloq. Math. 89, 233–240 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  13. Maeda, F., Maeda, S.: Theory of Symmetric Lattices. Springer-Verlag, Berlin (1970)

    Book  MATH  Google Scholar 

  14. Miyazaki, Y.: Kripke-style semantics of orthomodular logics. Math. Log. Q. 47, 341–362 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  15. Navara, M.: Descriptions of states spaces of orthomodular lattices. Math. Bohem. 117, 305–313 (1992)

    MATH  MathSciNet  Google Scholar 

  16. Piron, C.: Foundations of quantum physics. Benjamin, Reading, Massachusetts (1976)

    Book  MATH  Google Scholar 

  17. Pták, P., Pulmannová, S.: Orthomodular Structures as Quantum Logics. Kluwer, Dordrecht (1991)

    MATH  Google Scholar 

  18. Pulmannová, S.: Sharp and unsharp observables on s-MV algebras A comparison with the Hilbert space approach. Fuzzy Sets Syst. 159, 3065–3077 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  19. Pták, P.: Weak dispersion-free states and hidden variables hypothesis. J. Math. Phys. 24, 839–840 (1983)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  20. Riečan, B., Mundici, D.: Probability on MV-Algebras Handbook of Measure Theory, Vol. I, II, North-Holland, Amsterdam, 869–909 (2002)

    Google Scholar 

  21. Riec̆anová, Z.: Effect algebraic extensions of generalized effect algebras and two-valued states. Fuzzy Sets Syst. 159, 1116–1122 (2008)

    Article  MathSciNet  Google Scholar 

  22. Tkadlec, J.: Boolean orthoposets and two-valued states on them. Rep. Math. Phys. 31, 311–316 (1992)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  23. Tkadlec, J.: Partially additive measures and set representation of orthoposets. J. Pure Appl. Algebra 86, 79–94 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  24. Tkadlec, J.: Partially additive states on orthomodular posets. Colloq. Math. LXII, 7–14 (1995)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Filosofia, Universitá di Cagliari, Via Is Mirionis I, Cagliari, Italy

    Hector Freytes

  2. Departamento de Matemática UNR-CONICET, Avenida Pellegrini 250, CP 2000, Rosario, Argentina

    Hector Freytes

  3. Instituto de Filosofía “Dr. Alejandro Korn” UBA-CONICET, Puan 480, Buenos Aires, Argentina

    Christian de Ronde

  4. Center Leo Apostel (CLEA), Foundations of the Exact Sciences (FUND), Brussels Free University, Krijgskundestraat 33, 1160, Brussels, Belgium

    Christian de Ronde

  5. Center Leo Apostel (CLEA), Rue de la Stratígie 33, 1160, Bruxelles, Belgium

    Graciela Domenech

Authors
  1. Hector Freytes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian de Ronde
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Graciela Domenech
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hector Freytes.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Freytes, H., de Ronde, C. & Domenech, G. Kripke Style Semantic for the Logic of Two Valued-States. Int J Theor Phys 56, 3953–3962 (2017). https://doi.org/10.1007/s10773-017-3400-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-017-3400-0

Keywords

Search

Navigation