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