抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
また,中期20世紀に発見された代数と幾何学に関する基本的双対性理論を,カテゴリ論理の下でその代数化を通して論理に適用することができる。その結果,それらは既知の新しい完全性定理をもたらす。このアイデアは,論理と幾何学の間の新しい接続を確立するために,時々,また,理論にまたがることのできるglimpである。【JST・京大機械翻訳】