Monadic Decomposition

被引：7
|
作者：
Veanes, Margus [1 ]
Bjorner, Nikolaj [1 ]
Nachmanson, Lev [1 ]
Bereg, Sergey [2 ]
机构：
[1] Microsoft Res, One Microsoft Way, Redmond, WA 98905 USA
[2] Univ Texas Dallas, 800 West Campbell Rd, Richardson, TX 75080 USA
来源：
JOURNAL OF THE ACM | 2017年 / 64卷 / 02期
关键词：
Symbolic automata; variable independence; satisfiability modulo theories; monadic logic; DECIDABILITY; LANGUAGES;
D O I：
10.1145/3040488
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Monadic predicates play a prominent role in many decidable cases, including decision procedures for symbolic automata. We are here interested in discovering whether a formula can be rewritten into a Boolean combination of monadic predicates. Our setting is quantifier-free formulas whose satisfiability is decidable, such as linear arithmetic. Here we develop a semidecision procedure for extracting a monadic decomposition of a formula when it exists.
引用
收藏
页数：28
相关论文
共 50 条
  • [31] Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit
    C. Cimadamore
    J. P. Díaz Varela
    Studia Logica, 2011, 98 : 175 - 201
  • [32] On decidability of monadic logic of order over the naturals extended by monadic predicates
    Rabinovich, Alexander
    INFORMATION AND COMPUTATION, 2007, 205 (06) : 870 - 889
  • [33] MONADIC PROPERTIES OF UNIFORMITIES
    COYLE, DG
    SZABO, ME
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 89 (02) : 346 - 350
  • [34] Quantum monadic algebras
    Harding, J.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2022, 55 (39)
  • [35] MONADIC THUE SYSTEMS
    BOOK, RV
    JANTZEN, M
    WRATHALL, C
    THEORETICAL COMPUTER SCIENCE, 1982, 19 (03) : 231 - 251
  • [36] Monadic BE-algebras
    Zaheriani, Seyed Yashar
    Zahiri, Omid
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2014, 27 (06) : 2987 - 2995
  • [37] Relativism and Monadic Truth
    Ferrari, Filippo
    Wright, Crispin
    MIND, 2017, 126 (503) : 911 - 936
  • [38] MONADIC DATABASES WITH EQUALITY
    THEODORATOS, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 495 : 74 - 88
  • [39] Monadic bounded hoops
    Wang, Juntao
    Xin, Xiaolong
    He, Pengfei
    SOFT COMPUTING, 2018, 22 (06) : 1749 - 1762
  • [40] SYNTAX AND MONADIC CATEGORIES
    BARTHELE.JP
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1974, 278 (04): : 199 - 202
12345