すべての論理のポセットII:Leibnizクラスと階層【JST・京大機械翻訳】

Jansana R.; Moraschini T.

プレプリント

J-GLOBAL ID：202202218961218837 整理番号：21P0024724

すべての論理のポセットII:Leibnizクラスと階層【JST・京大機械翻訳】

The poset of all logics II: Leibniz classes and hierarchy

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

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

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

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

Leibnizクラスは,用語等価論理,互換性拡張,および論理集合の非索引積の形成の下で閉じた論理のクラスである。Leibniz階層と呼ばれるすべてのLeibnizクラスの完全な格子を研究した。特に,原代数的論理と等価論理のクラスは,Leibniz階層において満たされるが,一方,プロト代数学と等価論理のクラスは,適合できることを証明した。しかし,最後の2つのクラスは,マッチプライム論理のみから成るLeibniz条件によって決定されることを示した。【JST・京大機械翻訳】

論理代数 , 計算理論

, ,

前のページに戻る