2変数と1つの単項述語文字を持つ1次モードと直感論理の非決定性【JST・京大機械翻訳】

Rybakov Mikhail; Shkatov Dmitry

プレプリント

J-GLOBAL ID：202202204322419499 整理番号：22P0000423

2変数と1つの単項述語文字を持つ1次モードと直感論理の非決定性【JST・京大機械翻訳】

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

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

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

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

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

2つの変数を持つ言語における一次直観的論理の正フラグメントと,定数と同等性のない単一モナディック述語文字は,不可解であることを証明する。これは,拡張または一定ドメインを持つ意味論を考慮するかどうかにかかわらず,真実である。次に,QKCが除外された中間の弱い法則の論理であり,QFLとQFLが,それぞれVisserの基本と形式的論理の1次対応物である,間隔[QBL,QKC]と[QBL,QFL]にこの結果を一般化する。また,ほとんどの「自然」一次モード論理に対して,定数と同等性のない単一モナディック述語文字を持つ2変数フラグメントは,拡張または一定ドメインを持つ意味論を考慮するかどうかにかかわらず,不可解であることも示した。これらにはQKTB,QGL,QGrz-among,QK,QT,QKB,QD,QK4,QS4の全てのサブ論理が含まれる。【JST・京大機械翻訳】

, , , , , , ,
, 【Automatic Indexing@JST】

論理代数 , 人工知能

, , , , ,

前のページに戻る