Квантовая логика

191

[Svozil 1998] Svozil K. Quantum Logic. Singapore: Springer, 1998.

[Takeuti 1981] Takeuti G. Quantum Set Theory // Current Issues in quantum logic / Eds. Beltrametti S., Fraassen B. Van. New York, London: Plenum, 1981. pp. 302-322.

[Tamura 1988] Tamura S. A Gentzen formulation without the cut rule for ortholattices // Kobe Journal of Mathematics 5 (1988), pp.133-150.

[Thieffine et al. 1981] Thieffine F., Hadjisavvas N., Mugur-Schachter M. Supplement to a critique of Piron’s system of questions and propositions // Found. Phys. 11. No 7-8. 1981. pp.645-649.

[Thieffine 1983] Thieffine F. Compatible complement and Piron’s system and ordinary modal logic // Lett.Nuovo Cim. 36. No 112. 1983. pp.377-381.

[Tokuo 2003] Tokuo K. Extended Quantum Logic // Journal of Philosophical Logic. Vol. 32. 2003. pp. 549-563.

[Urquhart 1973] Urquhart A. An Interpretation of many-valued logic // Zeitschr. Math.Log. und Grundl.Math., 19 (1973), pp. 111114.

[Vasyukov 1993] Vasyukov V. L. The Completeness of the Factor Semantics for Łukasiewicz’s Infinite-valued Logics // Studia Logica 52, 1 (1993), pp. 143-167.

[Vasyukov 2000] Vasyukov V. L. Many-valued Logic of Directed Time // Multple-Valued Logic, vol.5, 2000, pp.163-173.

[Vasyukov 2003] Vasyukov V. L. Effects in Quantum Logic of Observables // Логические исследования, вып. 10, М.: Наука, 2003. С.241-256.

[Vasyukov 2003] Vasyukov V. L. From Semantics to Syntax: Quantum Logic of Observables // Alternative Logics. Do Sciences Need Them? / Paul Weingartner (Ed.). Springer, Berlin, Heidelberg, 2004, pp.299-322.

[Wang 1961] Wang H. The calculus of partial predicates and its extension to set theory 1 // Zeitschr. Math.Log. und Grundl.Math., Bd.7, 1961.

[Weizsäcker 1956] Weizsäcker C. F. von. Komplimentaritat und Logik // Naturwissenschaften. Bd.42, H.19, 1956, S.521-529.

[Zeman 1979] Zeman J. J. Quantum logic with implication // Notre Dame J.Form.Log. 20, No 4. 1979. pp.723-728.