抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Adjoint LogicとGraded Necessity Modalityを組み合わせた新しい論理を導入した。これは,構造規則が使用されるとき,そして,どのように使用されるかを制御できる非常に表現できるシステムをもたらす。著者らは,等級付けされたアドジョイント論理のために,逐次計算,自然演繹,および用語割り当てを与えた。【JST・京大機械翻訳】