논문을 더 잘 이해하기 위해 최소 고정 점 논리에 대해 간략히 이해하려고합니다. 내가 붙어있는 몇 가지 포인트가 있습니다.
경우 그래프이고
이진 관계 의 연산자입니다 . 최소한의 고정 소수점 왜 이해가 안 돼요 의 의 전이 폐쇄입니다 . 이 예는 유한 모형 이론 및 그 응용 (p. 60) 에서 발췌 한 것입니다 .
최소 고정 포인터 연산자로 1 차 논리를 확장 할 때 관계 기호 가 수식에서 양수 여야 하는 이유를 이해하지 못합니다 . 양수 는 수식에서 모든 발생이 짝수 개의 부정 기호 내에 있음을 의미합니다 .
누구든지 최소한 고정 포인터 포인터 논리와 구문 및 의미를 직관적으로 이해하기 위해 읽을만한 것이 무엇인지 알고 있습니까?