On lengths of proofs in propositional calculi

• Material Type: 博士論文
• Title: On lengths of proofs in propositional calculi
• Author/Editor: 新井紀子 [著]
• Author Heading: 著者 ： 新井, 紀子, 1962- アライ, ノリコ, 1962- ( 00689750 )Authorities
• Alternative Title: 命題論理における証明の長さの研究 メイダイ ロンリ ニ オケル ショウメイ ノ ナガサ ノ ケンキュウ
• Degree Grantor: 東京工業大学
• Date Granted: 平成9年3月31日
• Date Granted (W3CDTF): 1997
• Dissertation Number: 乙第3021号
• Degree Type: 博士 (理学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-98-B506
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000318205; http://id.ndl.go.jp/bib/000000318205
• Bibliographic Record Category (NDL): 213

• DOI: 10.11501/3133017; https://doi.org/10.11501/3133017
• Persistent ID (NDL): info:ndljp/pid/3133017; https://dl.ndl.go.jp/pid/3133017
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (Materials For Handicapped People:2): プレーンテキスト
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Producer: 国立国会図書館
• Date Accepted (W3CDTF): 2011-12-05T16:19:39+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Call No.: UT51-98-B506
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

論文目録

Contents

1 Introduction

1.1 Cut-elimination and lengths of propositional calculi

1.2 Automatic theorem proving and the lengths of proofs