사교 직교정렬 포셋의 파생 연산자
양자 역학 논리에서 논리합과 논리곱은 직교정렬 격자에서 각각 조인(join)과 미트(meet)로 표현될 수 있지만, 이는 원소들이 교환 가능할 때만 해당됩니다. J. Pykacz는 이러한 한계를 극복하기 위해 교환 가능한 원소에 대해서는 조인 및 미트와 일치하지만, 전체 직교정렬 격자에서 논리합 및 논리곱의 적절한 속성을 공유하는 ‘샤프(sharp)’ 및 ‘플랫(flat)’이라는 새로운 파생 연산자를 도입했습니다. 그러나 직교정렬 격자는 원소들이 비교 가능하지도, 직교하지도 않을 경우 조인이 정의되지 않을 수 있어 양자 역학의 논…