http://www.lang.osaka-u.ac.jp/~ogata/fosema.pdf -- 「フォーマルセマンティクス入門」でかいPDFだ。飽和法あるかな？

ヘンキン（返金じゃなくて、Henkin）が使った方法が飽和法かな？どうも飽和法の資料が少なくて、、、

そういえば、インスティチューションの具体例って書いたことない。お決まりの、フラグ、カウンタ、スタック。代数だと、半群、モノイド、線形空間（または加群）。多項式全体もうまいことインスティチューションになる。あと、なんか面白い例はないかいな。…