抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,論理,すなわち,左変数包含コンパニオンと制限ルールコンパニオン,それらの性質と相互関係,特にパラ一貫性との関連において,2つのコンパニオンを研究した。2つのコンパニオンに対する十分条件も証明した。ここでは,2つの新しい論理的システム,直観的なパラコンシステントなWeak Kleene論理(IPWK)とParaconstant Pre-Rough論理(PPRL)を,左可変介在物の論理の例として提示した。IPWKは,直観的位置論理(IPC)の左可変包含コンパニオンであり,また,それの制約されたルールコンパニオンである。一方,PPRLは,Pre-Rough論理(PRL)の左可変包含コンパニオンであるが,その制約されたルールとは異なっている。P{l}onka和に関するこれらの論理に対する代数的意味論を考察した。この量は,不確定さの状態を指示するよう意図する,汚染真実値を導入する。【JST・京大機械翻訳】