계량 계산
Counting quantification계수 정량자는 "최소한의 k 요소가 존재하며 속성 X를 만족한다"라는 형식의 정량자에 대한 수학적 용어다.평등이 있는 1차 논리에서는 정량자를 계산하는 것이 일반 정량자의 관점에서 정의될 수 있으므로, 이 맥락에서 정량자는 공칭적 속기라고 할 수 있다.그러나 공식의 변수 개수를 제한하는 계산이 있는 2변수 논리 같은 로직의 맥락에서 흥미롭다.또한 "1차 논리에서는 "무한히 많이 존재한다"고 하는 일반화된 계량자는 한정된 수의 공식을 사용하여 표현할 수 없다.
참고 항목
참조
- 에리히 그레델, 마틴 오토, 에릭 로젠."카운팅이 있는 2변수 논리는 디케이블 가능"제12차 IEEE 컴퓨터 과학 LICS 논리 심포지엄 1997, Warschau. 1997에서.포스트스크립트 파일 OCLC282402933
