りにあ・ろじっく

linear logic

線形論理。

1987年にフランス人の論理学者Jean-Yves Girardが発表した、
古典論理(classical logic)のように双対性を満たしつつも
直感主義論理(intuitionistic logic/constructivist logic)のように構成性をも
備え得るような形式論理体系。
連言, 選言についてそれぞれ加法的／乗法的結合子をもち、
指数関数的な様相演算子!(必然性), ?(可能性)をもつ。

• http://www.kurims.kyoto-u.ac.jp/...