Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Inhabitants of Intuitionistic Implicational Theorems Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Advanced Kripke Frame for Quantum Logic

Author : Tomoaki Kawano

Published in: Logic, Language, Information, and Computation

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Quantum logic has been studied with orthomodular lattices. The semantics required for quantum logic can also be provided by OM-models, whose nature is almost equivalent to the notion of orthomodular lattices. However, the development of OM-models is in its infancy, and important notions of orthomodular lattices such as OM laws, atomicity and covering laws cannot yet be fully described. Thus, in this paper, we develop OM-models in an attempt to solve these problems.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
next chapter The Undecidability of Orthogonal and Origami Geometries
Literature
1.
2.
3.
4.
Hardegree, G.M.: Material implication in orthomodular (and Boolean) lattices. Notre Dame J. Formal Logic 22(2), 163–182 (1981)MathSciNetCrossRef
5.
Hedlíková, J., Pulmannová, S.: Orthogonality spaces and atomistic orthocomplemented lattices. Czech. Math. J. 41(1), 8–23 (1991)MathSciNetMATH
6.
7.
8.
9.
Zhong, S.: A formal state-property duality in quantum logic. Stud. Logic. 10(2), 112–133 (2017)
Metadata
Title
Advanced Kripke Frame for Quantum Logic
Author
Tomoaki Kawano
Copyright Year
2018
Publisher
Springer Berlin Heidelberg
Book
Logic, Language, Information, and Computation

Print ISBN: 978-3-662-57668-7

Electronic ISBN: 978-3-662-57669-4

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-662-57669-4_14

Premium Partner

    Image Credits