Satisfiability and compactness of NMG-logic system

被引：0
|
作者：
Zhou, Hong-Jun [1 ]
Wang, Guo-Jun [1 ,2 ]
机构：
[1] College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, China
[2] Research Center for Science, Xi'an Jiaotong University, Xi'an 710062, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2009年 / 20卷 / 03期
关键词：
D O I：
10.3724/SP.J.1001.2009.03381
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：515 / 523
相关论文
共 50 条
  • [1] Satisfiability -: Algorithms and logic
    Pudlák, P
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 129 - 141
  • [2] Logic programming with satisfiability
    Codish, Michael
    Lagoon, Vitaly
    Stuckey, Peter J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (01) : 121 - 128
  • [3] Compactness in fuzzy logic
    YING Mingsheng Department of Computer Science and Technology
    Chinese Science Bulletin, 1998, (14) : 1166 - 1171
  • [4] Compactness in fuzzy logic
    Ying, MS
    CHINESE SCIENCE BULLETIN, 1998, 43 (14): : 1166 - 1171
  • [5] MULTICYCLES AND RTL LOGIC SATISFIABILITY
    MILLET, O
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 73 - 86
  • [6] Generalized Satisfiability for the Description Logic ALC
    Meier, Arne
    Schneider, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2011, 2011, 6648 : 552 - 562
  • [7] Compositional Satisfiability Solving in Separation Logic
    Le, Quang Loc
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 578 - 602
  • [8] Tableaux for Maximum Satisfiability in Lukasiewicz Logic
    Li, Chu Min
    Manya, Felip
    Vidal, Amanda
    2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), 2020, : 243 - 248
  • [9] Parametrised Complexity of Satisfiability in Temporal Logic
    Lueck, Martin
    Meier, Arne
    Schindler, Irena
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (01)
  • [10] CoLoSS: The Coalgebraic Logic Satisfiability Solver
    Calin, Georgel
    Myers, Rob
    Pattinson, Dirk
    Schroeder, Lutz
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 (0C) : 41 - 54
12345