文献

J-GLOBAL ID：201702232056447021   整理番号：17A0524008

BCK代数の構造:完全な残存価値論的論理に基づく新しいアプローチ

STRUCTURE OF BCK-ALGEBRAS: A NEW APPROACH BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC

著者 (1件)： PENG Jiayin (Neijiang Normal Univ., Neijiang, CHN)
資料名： International Journal of Innovative Computing, Information and Control  (International Journal of Innovative Computing, Information and Control)
巻： 13  号： 1  ページ： 219-241  発行年： 2017年02月 
JST資料番号： F1199A  ISSN： 1349-4198  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 本論文は,格子値論理のセマンティックフレームの下で,完全に存在する格子値論理に基づいてBCK代数理論を確立した。BCK代数に於いて,理想の概念,肯定的な理想,暗示的な理想とフィルタは,古典集合理論によって描かれてきたが,現在は,完全に存在する格子的論理に基づく単項述語によって再定義されており,これ等の関係を検討した。(翻訳著者抄録)

シソーラス用語： *解法 ,  *方式 ,  *意味論 ,  *集合論 ,  改変 ,  フィルタ
準シソーラス用語： *代数アプローチ ,  *セマンティックス ,  *集合理論 ,  ファジィ化 ,  ファジィフィルタ

分類 (3件)： 代数学  (AB02000R) ,  論理代数  (JB03000H) ,  計算機利用技術一般  (JE01000C)

引用文献 (37件)：

• L. Bolc and P. Borowik, Many-Valued Logic, Springer, Berlin, 1994.
• V. Novak, First order fuzzy logic, Studia Logica, vol.46, pp.87-109, 1982.
• M. Ward and R. P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc., vol.45, pp.335-354, 1939.
• R. P. Dilworth, Abstract residuation over lattices, Bull. Amer. Math. Soc., vol.44, pp.262-268, 1938.
• Y. Xu, Lattice implication algebra, Journal of Southwest Jiaotong Univ., vol.28, pp.20-27, 1993.

タイトルに関連する用語 (2件)： 代数 ,  論理