이 논문은 행동적 구분에 대한 새로운 개념을 제안합니다. 기존의 연구에서는 코알게브라 비시뮬레이션의 이중화를 통해 구분을 정의했지만, 이 방식은 일부 함수자에 대해 만족스러운 증명 규칙을 제공하지 못했습니다.
이 논문에서는 행동적 동치의 이중화를 통해 행동적 구분을 정의합니다. 이를 통해 유한한 증명 규칙을 얻을 수 있습니다. 특히 부분 분포 함수자의 경우, 기존 방식에서는 무한한 결합에 대한 양화가 필요했지만, 새로운 방식에서는 유한한 규칙을 얻을 수 있습니다.
또한 이 논문에서는 행동적 구분에 대한 최적화된 증명 규칙을 제공하며, 이를 여러 예제에 적용하여 그 유용성을 보여줍니다.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Ruben Turken... lúc arxiv.org 04-26-2024
https://arxiv.org/pdf/2404.16588.pdfYêu cầu sâu hơn