Normal form of Lukasiewicz logic formulae and related counting problems

被引：1
|
作者：
机构：
[1] [1,Wang, Qing-Ping
[2] Wang, Guo-Jun
来源：
Wang, G.-J. (gjwang@snnu.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 24期
关键词：
Equivalence classes;
D O I：
10.3724/SP.J.1001.2013.04231
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Normal Form of n-Valued Lukasiewicz Logic Formulas
    Wang, Qing-Ping
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 81 - 88
  • [2] A General View on Normal Form Theorems for Lukasiewicz Logic with Product
    Lapenta, Serafina
    Leustean, Ioana
    CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 215 - 228
  • [3] Temporal normal form for Linear Temporal Logic formulae
    Shi, Hui-Xian
    Li, Yong-Ming
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 30 (03) : 1657 - 1662
  • [4] On normal forms in Lukasiewicz logic
    Di Nola, A
    Lettieri, A
    ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (06) : 795 - 823
  • [5] SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
    Sayed, O. R.
    Borzooei, R. A.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2016, 13 (07): : 153 - 168
  • [6] A Calculus for Rational Lukasiewicz Logic and Related Systems
    Baldi, Paolo
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2016, PT II, 2016, 611 : 136 - 147
  • [7] Hanf normal form for first-order logic with unary counting quantifiers
    Heimberg, Lucas
    Kuske, Dietrich
    Schweikardt, Nicole
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 277 - 286
  • [8] Normal Form of General Logic Mappings
    Cheng Daizhan
    Zhao Yin
    2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 6368 - 6373
  • [9] Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
    Jabbour, Said
    Marques-Silva, Joao
    Sais, Lakhdar
    Salhi, Yakoub
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 152 - 165
  • [10] An FPTAS for #Knapsack and Related Counting Problems
    Gopalan, Parikshit
    Klivans, Adam
    Meka, Raghu
    Stefankovic, Daniel
    Vempala, Santosh
    Vigoda, Eric
    2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 817 - 826
12345