ヘルプ
linear logic
線形論理。
1987年にフランス人の論理学者Jean-Yves Girardが発表した、
古典論理(classical logic)のように双対性を満たしつつも
直感主義論理(intuitionistic logic/constructivist logic)のように構成性をも
備え得るような形式論理体系。
連言, 選言についてそれぞれ加法的／乗法的結合子をもち、
指数関数的な様相演算子!(必然性), ?(可能性)をもつ。
- 2008/04/25登録
- 517クリック
ソーシャルブックマーク
「linear logic」に関連するキーワード
スマリヤンの決定不能...
圏論による論理学―高...
論理学をつくる
ブログパーツ
- メイン
- コメント(0)
- つながり(4)
- トラックバック(0)
コメント (0)
まだコメントされていません。
つながりキーワード (4)
論理学をつくる
- (カオナシ)
オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...
スマリヤンの決定不能の論理パズル
- (カオナシ)
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...
圏論による論理学―高階論理とトポス
- (カオナシ)
主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)の成果について 解...
シークエント計算
- (カオナシ)
シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...
携帯でこのページにアクセス
QRコード対応の携帯で
上の画像を読み取ると
アクセスできます。
関心空間人気のキーワード
ノンカテゴリーカテゴリー
-
らんまる君 の３の
-
手が96本あるタコ イカプリン
-
『Blue Moon』（神奈川県葉山一色海岸） J.K
-
ジョルダン乗換案内 双月
-
シンクイムシ suneo99
-
木村 蒹葭堂 タマコ
-
スーパーカブ５０・５０周年スペシャル (ホンダ) メタボリカ
-
BIGMAN おさむ
-
資生堂マキアージュ ＣＭ曲 たる
-
コメパンマン terunoshin
キャンペーン
-
あなたのブログに出張します
-
ひそかに完成！
-
7周年ありがとう。8年目もよろしく。
-
つながりマップ「エピソード編」公開中！
-
新生活を楽しもう。コミュニティもオープン！
-
文化放送 Juicy Style buono! buono!
美人のモト、ただいま放送中！
-
DVD発売告知用ポスターを5名様に！
