記号論理学

Author(s)

• 山本, 新 ヤマモト, シン
• 入江, 俊夫 イリエ, トシオ
• 田村, 高幸 タムラ, タカユキ

Bibliographic Information

記号論理学

山本新, 入江俊夫, 田村高幸著

朝倉書店, 2023.11

Title Transcription

キゴウ ロンリガク

Note

参考文献: p[218]-219

Description and Table of Contents

Table of Contents

• 第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）
• 第２章　命題論理（命題の記号化；論理式　ほか）
• 第３章　述語論理（命題の記号化；限量記号の用法　ほか）
• 第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）
• 第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）
• 補論１　ゲンツェンの論理体系
• 補論２　様相論理への補論
• 補論３　線形論理について

by "BOOK database"

Details

• NCID: BD04653318
• ISBN:
  • 9784254500387
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: ix, 221p
• Size: 21cm
• Classification:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : MA41
• Subject Headings:
  • BSH : 記号論理学
  • NDLSH : 記号論理学