linear logic
線形論理。
1987年にフランス人の論理学者Jean-Yves Girardが発表した、
古典論理(classical logic)のように双対性を満たしつつも
直感主義論理(intuitionistic logic/constructivist logic)のように構成性をも
備え得るような形式論理体系。
連言, 選言についてそれぞれ加法的／乗法的結合子をもち、
指数関数的な様相演算子!(必然性), ?(可能性)をもつ。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2008/04/25登録
- 733クリック
ソーシャルブックマーク
ブログパーツ
関心空間人気のキーワード
ノンカテゴリーカテゴリー
-
マイクロペニス / ミクロペニス majo
-
サスティナビリティ 四月の旅人
-
眞子様萌え hazeo
-
ASA-CHANGの筆ペン日記 海波
-
ゲーテッド・コミュニティー 無印ヨメ
-
悪女占い・メンズ悪女占い no name
-
池上本門寺お会式 gaya
-
ｻﾙが接客するお店＜居酒屋かやぶき＞ WEST10
-
木下優樹菜 モスビー
-
BIGMAN おさむ
キャンペーン
-
7周年ありがとう。8年目もよろしく。
-
森を感じるキーワード募集中！
-
新生活を楽しもう。コミュニティもオープン！
-
あなたのブログに出張します
-
ひそかに完成！
-
文化放送 Juicy Style buono! buono!
美人のモト、ただいま放送中！
