Quantum logic, Hilbert space, revision theory

DOI10.1016/S0004-3702(01)00164-3zbMath0984.68145OpenAlexW1978349020MaRDI QIDQ5958493

Dov M. Gabbay, Kurt Engesser

Publication date: 3 March 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(01)00164-3

zbMATH Keywords

Hilbert spaceconsequence relationquantum logicrevision theorynon-monotonic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

Classical logic and quantum logic with multiple and common lattice models ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ Algebras of measurements: the logical structure of quantum mechanics ⋮ Connectives in Cumulative Logics ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• The conditional in quantum logic
• Quantum logic and physical modalities
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
• On Solèr's characterization of Hilbert spaces
• Semantic analysis of orthologic
• Characterization of hilbert spaces by orthomodular spaces
• Orthomodularity in infinite dimensions; a theorem of M. Solèr
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantum logic, Hilbert space, revision theory