한국콘텐츠학회:학술대회논문집 (Proceedings of the Korea Contents Association Conference)
- 한국콘텐츠학회 2017년도 춘계 종합학술대회 논문집
- /
- Pages.431-432
- /
- 2017
직교모듈라 격자에서의 논리적 함의
Logical Implications on Orthomodular Lattices
초록
고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는
키워드