Quantum logic, Hilbert space, revision theory
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