意味論を動的なものとして捉える動的意味論を提案し、意味の合成、組み替え、埋め込みなどの動的意味操作によって、結果構文、中間構文、補文構造、推論規則の諸特徴を説明する。