確かムーアは論理式の集合の上の閉包作用素として演繹系を定義したと思う。アクツェルの推論系〈inference system〉の定義は以下のよう： 判断〈judgement〉の集合 U 演繹ルール〈deduction rule〉は A⊆U と c∈U の組 (A, c) 、これを A/c とも書く。 A を演…

多ソートのストリング図の定式化に極性〈in-out〉と色〈型 | ソート | 対象〉が付いた集合が必要になる。色が {a, b, c} なら (-a, -a, -b, +b, +a) とかが色付き極性付き集合の表記になる。極性は二値なら何でもいいから左右でもよい。(→a, →a, →b, ←b, ←a)…