Quantum logic, Hilbert space, revision theory. (English) Zbl 0984.68145
Summary: Our starting point is the observation that with a given Hilbert space \(H\) we may, in a way to be made precise, associate a class of non-monotonic consequence relations in such a way that there exists a one-to-one correspondence between the rays of \(H\) and these consequence relations. The projectors in Hilbert space may then be viewed as a sort of revision operators. The lattice of closed subspaces appears as a natural generalisation of the concept of a Lindenbaum algebra in classical logic. The logics presentable by Hilbert spaces are investigated and characterised. Moreover, the individual consequence relations are studied. A key concept in this context is that of a consequence relation having a pointer to itself. It is proved that such consequence relations have certain remarkable properties in that they reflect their metatheory at the object level to a surprising extent. The tools used in the investigation stem from two different areas of research, namely from the disciplines of non-monotonic logic on the one hand and from Hilbert space theory on the other. There exist surprising connections between these two fields of research the investigation of which constitutes the purpose of this paper.
MSC:
| 68T27 | Logic in artificial intelligence |
References:
| [1] | Boolos, G., The Logic of Provability (1993), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0891.03004 |
| [2] | Birkhoff, G.; von Neumann, J., The logic of quantum mechanics, Ann. Math., 37, 823-843 (1936) · JFM 62.1061.04 |
| [3] | Dalla Chiara, M. L., Quantum logic, (Gabbay, D. M.; Guenthner, F., Handbook of Philosophical Logic, Vol. III (1986)), 427-469, Revised version in: Handbook of Philosophical Logic, Vol. 6, 2nd edn., Kluwer, Dordrecht, 2001, pp. 129-228 · Zbl 0875.03084 |
| [4] | Dalla Chiara, M. L., Quantum logic and physical modalities, J. Philos. Logic, 6, 391-404 (1977) · Zbl 0368.02033 |
| [5] | Gabbay, D. M., Investigations in Modal and Tense Logic with Applications to Problems in Philosophy and Linguistics (1976), Reidel: Reidel Dordrecht · Zbl 0374.02013 |
| [6] | Gabbay, D. M., Labelled Deductive Systems (1996), Clarendon Press: Clarendon Press Oxford · Zbl 0970.68162 |
| [7] | Gabbay, D. M., Fibring Logics (1999), University Press: University Press Oxford · Zbl 0909.03001 |
| [8] | Gabbay, D. M., Dynamics of practical reasoning: A position paper, (Segerberg, K.; Zakhryaschev, M.; de Rijke, M.; Wansing, H., Advances in Modal Logic 2. Advances in Modal Logic 2, CSLI Publications (2001), Cambridge University Press: Cambridge University Press Cambridge), 179-224 · Zbl 0995.03026 |
| [9] | Gabbay, D. M., Theoretical foundations for non-monotonic reasoning in expert systems, (Apt, K. R., Proceedings NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1985), Springer: Springer Berlin), 439-457 · Zbl 0581.68068 |
| [10] | Gärdenfors, P., Knowledge in Flux (1989), MIT Press: MIT Press Cambridge, MA |
| [11] | Goldblatt, R. H., Semantic analysis of orthologic, J. Philos. Logic, 3, 19-35 (1974) · Zbl 0278.02023 |
| [12] | Hardegree, G. M., The conditional in quantum logic, Synthese, 29, 63-80 (1974) · Zbl 0361.02039 |
| [13] | Holland, S. S., Orthomodularity in infinite dimensions, a theorem of M. Solèr, Bull. Amer. Math. Soc., 32, 205-234 (1995) · Zbl 0856.11021 |
| [14] | Kalmbach, G., Orthomodular Lattices. Orthomodular Lattices, London Math. Soc. Monographs, 18 (1983), Academic Press: Academic Press London · Zbl 0512.06011 |
| [15] | Kraus, S.; Lehmann, D.; Magidor, M., Non-monotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44, 167-207 (1990) · Zbl 0782.03012 |
| [16] | Katsuno, H.; Sato, K., A unified view of consequence relation, belief revision and conditional logic, (Crocco, G.; Farinas del Cerro, L.; Herzig, A., Conditionals: From Philosophy to Computer Science (1995), Oxford University Press: Oxford University Press Oxford), 33-66 |
| [17] | Lehmann, D.; Magidor, M., What does a conditional knowledge base entail?, Artificial Intelligence, 55, 1-60 (1992) · Zbl 0762.68057 |
| [18] | Makinson, D.; Gärdenfors, P., Relation between the logic of theory change nad non-monotonic logic, (Fuhrmann, A.; Morreau, H., The Logic Theory of Change. The Logic Theory of Change, Lecture Notes in Artificial Intelligence, 465 (1991), Springer: Springer Berlin), 185-205 · Zbl 0925.03130 |
| [19] | Mayet, R., Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms, Internat. J. Theoret. Phys., 37, 109-114 (1998) · Zbl 0904.06009 |
| [20] | Mittelstaedt, P., Quantum Logic (1978), D. Reidel Publishing Company: D. Reidel Publishing Company Dordrecht · Zbl 0445.03038 |
| [21] | Piron, C., Foundations of Quantum Physics (1976), W.A. Benjamin · Zbl 0333.46050 |
| [22] | Prestel, A., On Solèr’s characterization of Hilbert spaces, Manuscripta Math., 86, 225-238 (1995) · Zbl 0830.46016 |
| [23] | Rudin, W., Real and Complex Analysis (1974), McGraw Hill: McGraw Hill New York · Zbl 0278.26001 |
| [24] | Smullyan, R. M., Forever Undecided (1987), Oxford University Press: Oxford University Press Oxford · Zbl 0744.03004 |
| [25] | Smullyan, R. M., Gödel’s Incompleteness Theorems (1992), Oxford University Press: Oxford University Press Oxford · Zbl 0787.03003 |
| [26] | Solèr, M. P., Characterization of Hilbert spaces with orthomodular spaces, Comm. Algebra, 23, 219-234 (1995) · Zbl 0827.46019 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
