Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性)

• 鈴木, 信行

  静岡大学理学部数学教室

書誌事項

タイトル別名

• PRAWITZ-DOORMAN TERM EXISTENCE PROPERTY オ チョウチョッカン シュギ ジュツゴ ロンリ デ カンガエル ショウメイロン ト フクザツセイ
• The Prawitz-Doorman Term Existence Property in Super-Intuitionistic Predicate Logics (Proof theory and complexity)
• Prawitz-Doorman Term Existence Propertyを超直観主義述語論理で考える

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 1832 88-96, 2013-04

  京都大学数理解析研究所

詳細情報

• CRID: 1050564285758719744
• NII論文ID: 110009576312
• NII書誌ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/194852
• NDL書誌ID: 024692283
• Web Site: http://id.ndl.go.jp/bib/024692283
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024692283
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles