Ultraproduct for Quantum Structures

• Authors: Moniri Morteza , Shirinkalam Elahe
• Languages of publication: EN

Abstracts

EN

Quantum Kripke frames are certain quantum structures recently introduced by Zhong. He has defined certain properties such as Existence of Approximation and Superposition for these structures. In this paper, we define the ultraproduct for the family of quantum Kripke frames and show that the aforementioned properties are invariant under ultraproduct. In this way we prove that the ultraproduct of each family of quantum Kripke frames is also a quantum Kripke frame. We also show the same results for other related quantum structures.

Keywords

EN

Quantum Kripke frame; state space; ultraproduct

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2019
• Volume: 28
• Issue: 1
• Pages: 157-171

Dates

published

2019-03-15

Contributors

author

Moniri Morteza

• Department of Mathematics Shahid Beheshti University G.C., Evin, Tehran, Iran

author

Shirinkalam Elahe

• Department of Mathematics Shahid Beheshti University G.C., Evin, Tehran, Iran

References

• Baltag, A., and S. Smets, “Complete axiomatizationsof quantum actions”, International Journal of Theoretical Physics 44, 12 (2005): 2267–2282. DOI: 10.1007/s10773-005-8022-2
• Bergfeld, J.M., K. Kishida, J. Sack, and S. Zhong, “Duality for the logic of quantum actions”, Studia Logica 103, 4 (2015): 781–805. DOI: 10.1007/s11225-014-9592-x
• Birkhoff, G., and J. von Neumann, “The logic of quantum mechanics”, Annals of Mathematics 37 (1936): 823–843.
• Blackburn, P., F. Wolter, and J. von Benthem, Handbook of Modal Logic, Elsevier, Amesterdam, 2007.
• Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001. DOI: 10.1017/CBO9781107050884
• Chang, C., and H. Keisler, Model Theory, North-Holland, Amsterdam, 1973.
• Goranko, V., and M. Otto, “Model theory of modal logics”, in P. Blackburn, F. Wolter and J. von Benthem (eds.), Handbook of Modal Logic, Elsevier, Amesterdam, 2006. DOI: 10.1016/S1570-2464(07)80008-5
• Hedlkova, J. ., and S. Pulmannova, “Orthogonality spaces and atomistic orthocomplemented lattices”, Czechoslovak Mathematical Journal 41 (1991): 8–23.
• Hodges, W., Model Theory, Cambridge University Press, Cambridge, 1993.
• Kracht, M., Tools and Techniques in Modal Logic, Elsevier, Amesterdam, 1999.
• Piron, C., Foundations of Quantum Physics, W.A. Benjamin Inc., 1976.
• Zhong, Sh., Orthogonality and Quantum Geometry, Towards a Relational Reconstruction of Quantum Theory, ILLC Dissertation Series, 2015.
• Zhong, Sh., “Correspondence between Kripke frames and projective geometries”, Studia Logica 106, 1 (2018): 167–190. DOI: 10.1007/s11225-017-9733-0