Key points are not available for this paper at this time.
양화사는 주어진 우주에서 특정 물체의 수를 정량화하는 데 사용하는 표현으로서 자연 언어에서 발생합니다. 이들 중 특별한 클래스가 중간 양화사로, 예를 들어, 많은, 대부분, 거의 모든, 몇몇, 약간 등이 있습니다. 후자의 자세한 설명은 Peterson (2000)에서 제공됩니다. 이들의 형식 이론은 (Novák, 2008)에서 확립되었습니다. 이에 따르면, 중간 양화사는 표준 Łukasiewicz MVΔ-대수에 기초한 모델을 가진 고차 퍼지 논리(fuzzy type theory)(FTT)의 특별한 이론 TIQ를 형성합니다.
Vilém Novák (Fri,)은 이 질문을 연구했습니다.