Lattice-valued simulations for quantitative transition systems

被引：0
|
作者：
Pan, Haiyu [1 ]
Li, Yongming [1 ]
Cao, Yongzhi [2 ,3 ]
机构：
[1] College of Computer Science, Shaanxi Normal University, Xi'an,710062, China
[2] Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing,100871, China
[3] Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, China
来源：
International Journal of Approximate Reasoning | 2015年 / 56卷 / PA期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：28 / 42
相关论文
共 50 条
  • [41] Lattice-valued soft algebras
    Sergey A. Solovyov
    Soft Computing, 2013, 17 : 1751 - 1766
  • [42] Lattice-valued spaces: ⊤-Completions
    Reid L.
    Richardson G.
    Fuzzy Sets and Systems, 2020, 369 : 1 - 19
  • [43] Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
    Ray, Kumar Sankar
    Das, Litan Kumar
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (3-4) : 409 - 429
  • [44] FUNCTORIAL RELATIONSHIPS BETWEEN LATTICE-VALUED TOPOLOGY AND TOPOLOGICAL SYSTEMS
    Denniston, J. T.
    Rodabaugh, S. E.
    QUAESTIONES MATHEMATICAE, 2009, 32 (02) : 139 - 186
  • [45] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
  • [46] Progress and prospect in lattice-valued logic systems based on lattice implication algebras
    Xu, Y
    Ruan, D
    Liu, J
    APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 29 - 34
  • [47] Subcategories of lattice-valued convergence spaces
    Jäger, G
    FUZZY SETS AND SYSTEMS, 2005, 156 (01) : 1 - 24
  • [48] LATTICE-VALUED BOREL MEASURES III
    Khurana, Surjit Singh
    ARCHIVUM MATHEMATICUM, 2008, 44 (04): : 307 - 316
  • [49] Insertion of lattice-valued and hedgehog-valued functions
    Gutierrez García, J
    Kubiak, T
    Vicente, MAD
    TOPOLOGY AND ITS APPLICATIONS, 2006, 153 (09) : 1458 - 1475
  • [50] ON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
    Jaeger, G.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2017, 14 (06): : 149 - 164
12345