文献

J-GLOBAL ID：201802234363809528   整理番号：18A0210885

NMG-世代数における同形核の構造キャラクタリゼーション【JST・京大機械翻訳】

Characterizations of Homomorphic Nuclei on NMG-Algebras

著者 (3件)： Zhou Hongjun (陜西師范大学数学与信息科学学院,陜西西安,710062) ,  Ma Qin (陜西師范大学数学与信息科学学院,陜西西安,710062) ,  Lan Shumin (陜西師范大学数学与信息科学学院,陜西西安,710062)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 28  号： 10  ページ： 2539-2547  発行年： 2017年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 論理代数におけるBosbach状態とRie(c)状態は古典的確率論におけるKolmogorov公理の2つの異なる方式の多値化であり、確率計量ロジックにおける意味計量化方法の代数公理化で、非古典論理数理領域における重要な研究分枝である。Glivenkoの性質を有する論理代数上のBosbach状態とRie(c)c状態の等価性を証明し、そして、代数代数のGlivenko性質は研究状態演算子の構造と存在性の重要なツールであるため、状態理論における研究焦点の一つである。NMG-代数に基づくGlivenkoの性質を研究し、NMG-代数が核のGlivenko性質を持つ必要十分条件は、この核演算子がこのNMG-代数からその画像代数の同形であり、NMG-代数における同形核の構造描写を示した。ここで、NMG-代数は順序と三角モデル<([0,1/2]、TNM)、(1/2、1]、TM)を記述する論理システムNMGの意味論理代数である。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： キャラクタリゼーション ,  画像 ,  確率論 ,  公理 ,  等価性 ,  *代数学 ,  論理代数
準シソーラス用語： 必要十分条件 ,  公理化 , 【Automatic Indexing@JST】

著者キーワード (4件)： probabilistically quantitative logic ,  NMG-algebra ,  Glivenko theorem ,  homomorphic nucleus

分類 (3件)： 計算理論  (JB02000A) ,  グラフ理論基礎  (IA02020S) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 世代 ,  核の構造 ,  キャラクタリゼーション