抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Leibnizクラスは,用語等価論理,互換性拡張,および論理集合の非索引積の形成の下で閉じた論理のクラスである。Leibniz階層と呼ばれるすべてのLeibnizクラスの完全な格子を研究した。特に,原代数的論理と等価論理のクラスは,Leibniz階層において満たされるが,一方,プロト代数学と等価論理のクラスは,適合できることを証明した。しかし,最後の2つのクラスは,マッチプライム論理のみから成るLeibniz条件によって決定されることを示した。【JST・京大機械翻訳】