抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
量子モナディックおよび量子円筒代数を導入した。これらは,Halmosのモナディック代数の量子設定とHenkin,MonkとTarskiの円筒代数に対する適応であり,古典的と直観的な述語論理の代数的処理に用いられる。量子設定における一次例はvon Neumann代数とサブファクタから来る。ここでは,これらの量子モナディックおよび円筒代数の基本特性を開発し,それらを量子述語論理に関連させた。【JST・京大機械翻訳】