Algebraic Semantics of Similarity in Monadic Substructural Predicate Logics

被引：0
作者：
Wang J.-T. [1 ]
Wang M. [2 ]
She Y.-H. [1 ]
机构：
[1] School of Science, Xi’an Shiyou University, Shaanxi, Xi’an
[2] School of Electrical and Control Engineering, University of Science and Technology, Shaanxi, Xi’an
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 2023年 / 51卷 / 04期
基金：
中国国家自然科学基金;
关键词：
complete⁃; ness; monadic substructural predicate logic; semilinear extension; similarity filter; similarity monadic residuated lattice;
D O I：
10.12263/DZXB.20210267
中图分类号：
学科分类号：
摘要：
Using the equivalence between monadic fuzzy predicate logics and S5 type fuzzy modal logic, the algebra⁃ ic semantics of similarity in monadic substructural predicate logics are introduced, the resulting class of algebras called simi⁃ larity monadic residuated lattices, and their basic algebraic properties are studied. Secondly, the similarity filters of similari⁃ ty monadic residuated lattices are introduced, and representable similarity monadic residuated lattices are characterized by using them. Finally, the logic system corresponding to similarity monadic residuated lattices is established, and its mini⁃ mum semilinear extension and completeness are studied. © 2023 Chinese Institute of Electronics. All rights reserved.
引用
收藏
页码：956 / 964
页数：8
相关论文
共 37 条
  • [1] ZADEH L A., Fuzzy sets, Information and Control, 8, 3, pp. 338-353, (1965)
  • [2] WANG J T, SHE Y H., Algebraic Theory of Uncertain Rea⁃ soning, (2020)
  • [3] XIN X L, WANG J T, YANG J., Non Probabilistic Mea⁃ sures on Logical Algebras, (2019)
  • [4] WARD M, DILWORTH P R., Residuated lattice, Trans⁃ actions of the American Mathematical Society, 45, 3, pp. 335-354, (1939)
  • [5] ZUO W B., Graded method of lattice-valued logic system based on residuated lattice semantics, Acta Electronica Sinca, 45, 8, pp. 1842-1848, (2017)
  • [6] WU H B, WANG N., The extension of MT ideals and the existence of prime MT ideal in BR<sub>0</sub>-algebras, Acta Elec⁃ tronica Sinca, 43, 6, pp. 1137-1143, (2015)
  • [7] ZUO W B., Probability truth degrees of formulas in MTL-algebras semantics, Acta Electronica Sinca, 43, 2, pp. 293-298, (2015)
  • [8] ZUO W B., Graded method of lattice-valued logic system based on MV-algebras semantics, Acta Electronica Sinca, 41, 10, pp. 2035-2040, (2013)
  • [9] WU H B, WANG N., MT ideals of regular FI-algebras with their applications, Acta Electronica Sinca, 41, 7, pp. 1389-1394, (2013)
  • [10] WU H B, ZHANG Q., On the finite strong completeness of NML, Acta Electronica Sinca, 38, 6, pp. 1414-1418, (2010)
1234