プレプリント
J-GLOBAL ID：202202217487606271   整理番号：22P0292995

1次論理の有限公理化における独立問題【JST・京大機械翻訳】

Independence questions in a finite axiom-schematization of first-order logic
  • 出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
この文献はプレプリントです。プレプリントについてはこちらをご確認ください。
著者 (1件)：
Jubin Benoit

Jubin Benoit について


資料名：
arXiv

arXiv について


発行年： 2022年02月21日  プレプリントサーバーでの情報更新日： 2022年08月27日
JST資料番号： O7000B  資料種別： プレプリント
記事区分： プレプリント  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Norman Megillにより導入された古典的一次論理の有限軸対称化におけるいくつかの独立結果をレビューした。また,このシステムの特定の公理スキームは,その事例の全てが他の公理方式から証明可能であるが,独立であることも証明した。【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
システム

システム について

, 
*公理

公理 について

, 
軸対称性

軸対称性 について


準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*公理化

公理化 について

, 【Automatic Indexing@JST】
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
論理

論理 について

, 
公理化

公理化 について


前のページに戻る

TOP

BOTTOM