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 条
  • [22] Focus games for satisfiability and completeness of temporal logic
    Lange, M
    Stirling, C
    16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 357 - 365
  • [23] Satisfiability in Boolean Logic (SAT problem) is polynomial
    Rybakov, Vladimir V.
    JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2021, 14 (05): : 667 - 671
  • [24] COMPACTNESS AND RECURSIVE ENUMERABILITY IN INTENSIONAL LOGIC
    STEPHAN, BJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 343 - 346
  • [25] Compactness in first order Lukasiewicz logic
    Tavana, N. R.
    Pourmahdian, M.
    Didehvar, F.
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 254 - 265
  • [26] Satisfiability Problem in Interval FP-logic
    Protsenko, Nikita A.
    Rybakov, Vladimir V.
    Rimatskiy, Vitaliy V.
    BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2023, 44 : 98 - 107
  • [27] Substitutional definition of satisfiability in classical propositional logic
    Belov, A
    Stachniak, Z
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 31 - 45
  • [28] Some progress in satisfiability checking for difference logic
    Cotton, S
    Asarin, E
    Maler, O
    Niebert, P
    FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 263 - 276
  • [29] SOME COMPACTNESS RESULTS FOR MODAL LOGIC
    SCHUMM, GF
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 508 - 508
  • [30] Boolean Satisfiability using Noise Based Logic
    Lin, Pey-Chang Kent
    Mandal, Ayan
    Khatri, Sunil P.
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 1256 - 1257