自然な推論のための論理学

Author(s)

Bibliographic Information

自然な推論のための論理学

大出晁著

勁草書房, 1991.1

Title Transcription

シゼンナ スイロン ノ タメ ノ ロンリガク

Access to Electronic Resource 1 items

Available at  / 109 libraries

Note

参考文献: p237-238

Description and Table of Contents

Description

日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。

Table of Contents

  • 第１章　推論とは（論理の目覚め；論理学の誕生；推論の構造）
  • 第２章　文を単位とする推論（推論の表わし方；推論の規則；排中律について；文の真・偽と推論規則；直観主義・古典論理のモデル；推論規則の応用例）
  • 第３章　文の内部に立ち入る推論（文の内部構造；推論規則の使い方；モデルとタブロー；妥当性と健全性；完全性；集合論とその推論の例）
  • 付録（他の論理系との関連；タブローの基本定理；量子論理その他；メタ定理の証明法についてのコメント）

by "BOOK database"

Details

  • NCID
    BN05789199
  • ISBN
    • 4326100877
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    vii, 251p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top