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 条
  • [1] Lattice-valued simulations for quantitative transition systems
    Pan, Haiyu
    Li, Yongming
    Cao, Yongzhi
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2015, 56 : 28 - 42
  • [2] Lattice-valued preordered sets as lattice-valued topological systems
    Denniston, Jeffrey T.
    Melton, Austin
    Rodabaugh, Stephen E.
    Solovyov, Sergey A.
    FUZZY SETS AND SYSTEMS, 2015, 259 : 89 - 110
  • [3] Simulation for lattice-valued doubly labeled transition systems
    Pan, Haiyu
    Cao, Yongzhi
    Zhang, Min
    Chen, Yixiang
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (03) : 797 - 811
  • [4] Lattice-valued bornological systems
    Paseka, Jan
    Solovyov, Sergey A.
    Stehlik, Milan
    FUZZY SETS AND SYSTEMS, 2015, 259 : 68 - 88
  • [5] Lattice-Valued Topological Systems as a Framework for Lattice-Valued Formal Concept Analysis
    Solovyov, Sergey A.
    JOURNAL OF MATHEMATICS, 2013, 2013
  • [6] LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
    Jaeger, G.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2011, 8 (02): : 67 - 89
  • [7] Quantitative Analysis of Lattice-valued Kripke Structures
    Pan, Haiyu
    Zhang, Min
    Wu, Hengyang
    Chen, Yixiang
    FUNDAMENTA INFORMATICAE, 2014, 135 (03) : 269 - 293
  • [8] Connectedness for lattice-valued subsets in lattice-valued convergence spaces
    Jin, Qiu
    Li, Lingqiang
    Lv, Yanrui
    Zhao, Fangfang
    Zou, Juan
    QUAESTIONES MATHEMATICAE, 2019, 42 (02) : 135 - 150
  • [9] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 75 - 84
  • [10] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Weitao Xu
    Wenqiang Zhang
    Dexian Zhang
    Yang Xu
    Xiaodong Pan
    International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
12345