りにあ・ろじっく
linear logic
線形論理。
1987年にフランス人の論理学者Jean-Yves Girardが発表した、
古典論理(classical logic)のように双対性を満たしつつも
直感主義論理(intuitionistic logic/constructivist logic)のように構成性をも
備え得るような形式論理体系。
連言, 選言についてそれぞれ加法的/乗法的結合子をもち、
指数関数的な様相演算子!(必然性), ?(可能性)をもつ。
- 2008/04/25登録
- 7380クリック
「linear logic」を検索
このキーワードを共有する
-
トラックバック(0)










