文献

J-GLOBAL ID：201702251164845732   整理番号：17A0292464

N値命題論理における式列の収束性【JST・京大機械翻訳】

Convergence of sequence of formulas in n-valued propositional logic

著者 (2件)： Meng Di (School of Science, Lanzhou University of Technology) ,  Li Jun (School of Science, Lanzhou University of Technology)
資料名： Jisuanji Gongcheng yu Yingyong  (Jisuanji Gongcheng yu Yingyong)
巻： 52  号： 22  ページ： 55-58  発行年： 2016年 
JST資料番号： C2533A  ISSN： 1002-8331  CODEN： JGYYAT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 本論文は,N値R_0命題論理システムにおける式の収束の定義を与え,式の収束,,収束,および按真度収束の特性を研究して,3つの収束のための必要十分条件を与えた。式の列が有限原子であるという条件の下で,著者らは,式の測度収束,按賦値収束,および按真度収束が,等価であることを証明した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *測度

著者キーワード (4件)： logic metric space ,  convergence in measure ,  convergence in assignment ,  convergence in truth degree

分類 (2件)： システム設計・解析  (IA02030D) ,  脳・神経系モデル  (EL02050C)

タイトルに関連する用語 (3件)： N値 ,  命題論理 ,  収束性