だって。 Title: Observational Truth as a Categorical Modality (2002) Author: Grant Malcolm URL: http://citeseer.ist.psu.edu/573401.html 11ページ

ゴグエン／マルコルム／ケンプ（Joseph Goguen, Grant Malcolm, Tom Kemp）の"A Hidden Herbrand Theorem"(1998)とビドォイト／ヘンニッカー／カーツ（Bidoit/Hennicker/Kurz）の"On Observability and Reachability "を読み比べてみた。 Observational Logi…

普通、指標はグラフとみなせる。グラフや圏の用語と記法を拝借しよう。指標Σに対して、ソートsからソートtへの演算記号の全体をΣ(s, t)と書く。Σ(s, t)は集合。ただし、(s, t)≠(s', t')でもΣ(s, t)∩Σ(s', t') = 空 は仮定しない（オーバーロード許可）。Σ(s,…

エルブラン定理関係で、結局一番短い、 Title: A Hidden Herbrand Theorem (1998) Authors: Joseph Goguen, Grant Malcolm, Tom Kemp URL: http://citeseer.ist.psu.edu/293075.html 18ページ これにした。まず、隠蔽ソートって用語はよくないと思った。これ…

フー、ここ2,3日四苦八苦していた問題にやっと目星がついた。プログラム言語をはじめとする形式言語の一般的定式化。とりあえず目標は： インスティチューション・フレンドリ 十分な一般性 形式言語系とは、組(Sign, Mod, T, ξ)であって： SignとModはインス…