Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.

• 資料種別: 記事
• タイトル: Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.
• 著者標目: Alasdair Urquhart
• 出版年月日等: 1983-03
• 出版年（W3CDTF）: 1983-03
• タイトル（掲載誌）: Journal of Symbolic Logic
• 巻号年月日等（掲載誌）: 48 1
• 掲載巻: 48
• 掲載号: 1
• 掲載ページ: 206-208
• 掲載年月日（W3CDTF）: 1983-03
• ISSN（掲載誌）: 00224812
• 出版事項（掲載誌）: Cambridge University Press (CUP)
• 件名標目: Logic; Philosophy
• 対象利用者: 一般
• DOI: 10.2307/2273336
• 作成日（W3CDTF）: 2006-05-06
• 著作権情報: https://www.cambridge.org/core/terms
• 関連情報（URI）: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0022481200043504
• 参照: ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY; https://cir.nii.ac.jp/crid/1050564288759410560
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: Crossref; https://www.crossref.org