Information Flow in Arrow Logic

状況理論による情報の論理である情報伝播(Information Flow)をArrow論理で形式化し，情報伝播での５つの原則を満たすことを示した．共著者はコメントをもらったのみ．（著者）村川賀彦，東条敏，國藤進

Third International Conference on Information-Theoretic Approaches to Logic, Language and Computation (ITALLC’98)