抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文は,多値論理における新タイプの否定を提案し,次の質問に答える異なる方法を提供する:それはいくつかのオブジェクト言語式が与えられた真実値を持たないことを意味する。その方法に沿って,本論文は任意の多値論理における真実性と虚偽性の一般的定義を提供した。【JST・京大機械翻訳】