사교 직교정렬 포셋의 파생 연산자

양자 역학 논리에서 논리합과 논리곱은 직교정렬 격자에서 각각 조인(join)과 미트(meet)로 표현될 수 있지만, 이는 원소들이 교환 가능할 때만 해당됩니다. J. Pykacz는 이러한 한계를 극복하기 위해 교환 가능한 원소에 대해서는 조인 및 미트와 일치하지만, 전체 직교정렬 격자에서 논리합 및 논리곱의 적절한 속성을 공유하는 ‘샤프(sharp)’ 및 ‘플랫(flat)’이라는 새로운 파생 연산자를 도입했습니다. 그러나 직교정렬 격자는 원소들이 비교 가능하지도, 직교하지도 않을 경우 조인이 정의되지 않을 수 있어 양자 역학의 논리를 완전히 형식화하지 못할 수 있습니다. 미트의 경우에도 유사한 문제가 발생합니다. 따라서 직교정렬 포셋(poset)이 이러한 논리의 대수적 형식화에 더 적합한 것으로 받아들여지고 있습니다. 본 연구는 ‘샤프’ 및 ‘플랫’ 연산자의 개념을 사교 직교정렬(skew orthomodular) 및 강한 사교 직교정렬 포셋의 연산자로 확장하는 것을 목표로 합니다. 저자들은 이러한 포셋에 대해 교환 가능한 원소의 관계와 교환자(commutator)를 일반화하고, 이 연산자들의 중요한 속성 및 상호 관계를 제시합니다. 또한, 해당 포셋이 불 대수(Boolean algebra)인 경우 픽슬리 항(Pixley term)의 항등식을 공유하는 삼항 연산자를 정의할 수 있음을 보입니다. 마지막으로, 불 대수에서 자동으로 충족되는 약한 조건 하에서 논리곱과 함의를 형식화하는 연산자들에 대한 일종의 수반성(adjointness)을 증명합니다.