Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Ultraproduct for quantum structures

From MaRDI portal
Publication:5215500
Jump to:navigation, search

zbMATH Open1477.03126MaRDI QIDQ5215500FDOQ5215500


Authors: Morteza Moniri, Elahe Shirinkalam Edit this on Wikidata


Publication date: 11 February 2020





Recommendations

  • Quantified universes and ultraproducts
  • Ultraproducts and possible worlds semantics in institutions
  • scientific article; zbMATH DE number 4068866
  • Applications of ultraproducts: from compactness to fuzzy elementary classes
  • scientific article; zbMATH DE number 1998330


zbMATH Keywords

ultraproductstate spacequantum Kripke frame


Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Ultraproducts and related constructions (03C20)


Cites Work

  • Modal logic
  • Title not available (Why is that?)
  • Model theory
  • Title not available (Why is that?)
  • Complete axiomatizations for quantum actions
  • Handbook of modal logic
  • Tools and techniques in modal logic
  • Duality for the logic of quantum actions
  • Correspondence between Kripke frames and projective geometries
  • Orthogonality spaces and atomistic orthocomplemented lattices


Cited In (1)

  • Quantified universes and ultraproducts





This page was built for publication: Ultraproduct for quantum structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215500)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5215500&oldid=19814629"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 17:31. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki