Quantum logic, Hilbert space, revision theory

Artificial Intelligence

Volumn 136, Issue 1, 2002, Pages 61-100

  Engesser, Kurt ^a   Gabbay, Dov M ^b  

^a Birkenweg 3 ^*  (Germany)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Consequence relation; Hilbert space; Non monotonic logic; Quantum logic; Revision theory

Indexed keywords

LINEAR ALGEBRA; MATHEMATICAL OPERATORS; METADATA; QUANTUM THEORY;

QUANTUM LOGIC; REVISION THEORY;

FORMAL LOGIC;

EID: 0036498408     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(01)00164-3     Document Type: Article

References (26)

1. The logic of quantum mechanics
2. Quantum logic
3. Quantum logic and physical modalities
4. Dynamics of practical reasoning: A position paper
5. Theoretical foundations for non-monotonic reasoning in expert systems
6. Semantic analysis of orthologic
7. The conditional in quantum logic
8. Orthomodularity in infinite dimensions, a theorem of M. Solèr
9. Orthomodular Lattices
10. Non-monotonic reasoning, preferential models and cumulative logics
11. A unified view of consequence relation, belief revision and conditional logic
12. What does a conditional knowledge base entail?
13. Relation between the logic of theory change nad non-monotonic logic
14. Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
15. On Solèr's characterization of Hilbert spaces
16. Characterization of Hilbert spaces with orthomodular spaces