Brace convention 중괄호 표기: Montague가 영어를 내포논리(intensional logic) 언어로 번역할 때 도입한 표기법으로서, 그 정의는 다음과 같다. 만일 γ가 <s, <a, t>>의 유형 의 표현이고 α가 a유형의 표현이면 [ˇγ](α)라는 표현은 γ{α}와 같이 나타낼 수 있 다. 이것은 α가 의미하는 상이 γ가 뜻하는 속성을 지닌다는 의미이다. 이 표기법은 중괄호를 이용하여 그 의미를 분명하게 보여주는데 목적이 있으나, 이러한 표기법을 사 용하지 않더라도 그 언어(내포논리 언어)의 표현 능력에는 전혀 지장을 받지 않는다.