Up 6.1 理論としての論理  

　本節では，以下の“論理”を理論
T＝( G, G, U, U)
として定式化する(→は拡張の方向を表わす)：



この定式化におけるDの意味は，“換言規則”である。