シークエントけいさん
シークエント計算
シークエント計算(Sequent Calculus)とは、
ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した
LK(Logischer Kalkül: 論理計算)と呼ばれる
古典論理の形式的な演繹法を指す用語のこと。
古典論理について一通りの事を知っておきたいというような方には、
中級論理学講義(慶應義塾大学文学部)の教材として公開されていた
照井 一成氏のこちらの講義ノートに詳説があり参考になるので、
一度目を通してみることをお勧めしたい。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2008/04/25更新
- 2007/09/23登録
- 2697クリック
「シークエント計算」に関連するキーワード
スマリヤンの決定不能...
linear logic...
論理学をつくる
ブログパーツ
-
メイン
コメント (0)
まだコメントされていません。
つながりキーワード (6)
linear logic
- (カオナシ)
線形論理。 1987年にフランス人の論理学者Jean-Yves Girardが発表した、 古典論理(classical logic)のように双対性を満たしつつも 直感主...
圏論による論理学―高階論理とトポス
- (カオナシ)
主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)における成果につい...
論理学をつくる
- (カオナシ)
オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...
スマリヤンの決定不能の論理パズル
- (カオナシ)
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...
シリーズ・講座『ゲーデルと２０世紀の論理学［全4巻］』
- (カオナシ)
ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...
Mizar
- (カオナシ)
2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明（http://www.mi...
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
