Quantum logic, Hilbert space, revision theory

Artificial Intelligence - Tập 136 - Trang 61-100 - 2002
Kurt Engesser1, Dov M. Gabbay2
1Birkenweg 3, 78573 Wurmlingen, Germany
2Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK

Tài liệu tham khảo

Boolos, 1993 Birkhoff, 1936, The logic of quantum mechanics, Ann. Math., 37, 823, 10.2307/1968621 Dalla Chiara, 1986, Quantum logic, 427 Dalla Chiara, 1977, Quantum logic and physical modalities, J. Philos. Logic, 6, 391, 10.1007/BF00262076 Gabbay, 1976 Gabbay, 1996 Gabbay, 1999 Gabbay, 2001, Dynamics of practical reasoning: A position paper, 179 Gabbay, 1985, Theoretical foundations for non-monotonic reasoning in expert systems, 439 Gärdenfors, 1989 Goldblatt, 1974, Semantic analysis of orthologic, J. Philos. Logic, 3, 19, 10.1007/BF00652069 Hardegree, 1974, The conditional in quantum logic, Synthese, 29, 63, 10.1007/BF00484952 Holland, 1995, Orthomodularity in infinite dimensions, a theorem of M. Solèr, Bull. Amer. Math. Soc., 32, 205, 10.1090/S0273-0979-1995-00593-8 Kalmbach, 1983, 18 Kraus, 1990, Non-monotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44, 167, 10.1016/0004-3702(90)90101-5 Katsuno, 1995, A unified view of consequence relation, belief revision and conditional logic, 33 Lehmann, 1992, What does a conditional knowledge base entail?, Artificial Intelligence, 55, 1, 10.1016/0004-3702(92)90041-U Makinson, 1991, Relation between the logic of theory change nad non-monotonic logic, 465, 185 Mayet, 1998, Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms, Internat. J. Theoret. Phys., 37, 109, 10.1023/A:1026669407606 Mittelstaedt, 1978 Piron, 1976 Prestel, 1995, On Solèr's characterization of Hilbert spaces, Manuscripta Math., 86, 225, 10.1007/BF02567991 Rudin, 1974 Smullyan, 1987 Smullyan, 1992 Solèr, 1995, Characterization of Hilbert spaces with orthomodular spaces, Comm. Algebra, 23, 219, 10.1080/00927879508825218