連続論理のための一般化有効完全性【JST・京大機械翻訳】

Camrud Caleb

プレプリント

J-GLOBAL ID：202202201360081893 整理番号：22P0293763

連続論理のための一般化有効完全性【JST・京大機械翻訳】

Generalized effective completeness for continuous logic

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年02月22日プレプリントサーバーでの情報更新日： 2022年02月22日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

本論文では,連続論理のための一般化有効完全性定理を提示した。一次結果は,任意の連続理論が,同じTuring度合の提示を許容する構造で満足されることである。次に,任意の決定可能な理論は,計算可能な構造によって満足される。これは,CalvertおよびDidehvar,Ghasemlo,およびPourmahdianによって与えられた連続論理に対する以前の部分有効完全性定理を修正および拡張した。【JST・京大機械翻訳】

, , ,

計算理論 , 人工知能 , 計算機システム開発 , オートマトン理論 , 論理代数

, ,

前のページに戻る