りにあ・ろじっく
linear logic
線形論理。
1987年にフランス人の論理学者Jean-Yves Girardが発表した、
古典論理(classical logic)のように双対性を満たしつつも
直感主義論理(intuitionistic logic/constructivist logic)のように構成性をも
備え得るような形式論理体系。
連言, 選言についてそれぞれ加法的／乗法的結合子をもち、
指数関数的な様相演算子!(必然性), ?(可能性)をもつ。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2008/04/25登録
- 7379クリック
「linear logic」を検索
ブログパーツ
-
つながり(5)
つながりキーワード (5)
Paraconsistent Logic
- (カオナシ)
矛盾許容論理 矛盾を導出しても(古典論理と異なり)矛盾律をみたさないので全ての命題が成立つことはない 論理体系。 http://plato.stanford.edu/entries/.....
論理学をつくる
- (カオナシ)
オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...
スマリヤンの決定不能の論理パズル
- (カオナシ)
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...
圏論による論理学―高階論理とトポス
- (カオナシ)
主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)における成果につい...
シークエント計算
- (カオナシ)
シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...
