Ultraproduct for quantum structures

MaRDI QIDQ5215500zbMATH OpenFDO

Authors Morteza Moniri, Elahe Shirinkalam

Publication date 11 February 2020

zbMATH Keywords

quantum Kripke framestate spaceultraproduct

Mathematics Subject Classification ID

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

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

Cites work

• Complete axiomatizations for quantum actions
• Correspondence between Kripke frames and projective geometries
• Duality for the logic of quantum actions
• Handbook of modal logic
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• Modal logic
• Model theory
• Orthogonality spaces and atomistic orthocomplemented lattices
• Tools and techniques in modal logic

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)