A constructive investigation of satisfiability

被引：0
作者：
Ciraulo, Francesco [1 ]
机构：
[1] Univ Padua, Dipartimento Matemat Pura & Applicata, I-35121 Padua, Italy
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2012年 / 163卷 / 02期
关键词：
Intuitionistic logic; Sequent calculus; Satisfiability; Constructive mathematics;
D O I：
10.1016/j.apal.2011.06.019
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We present a constructive analysis of the logical notions of satisfiability and consistency for first-order intuitionistic formulae. In particular, we use formal topology theory to provide a positive semantics for satisfiability. Then we propose a "co-inductive" logical calculus, which captures the positive content of consistency. (C) 2011 Elsevier B.V. All rights reserved.
引用
收藏
页码：111 / 121
页数：11
相关论文
共 50 条
  • [31] SATISFIABILITY TESTING IN THE CONTEXT OF HYPERGRAPHS
    Hvalica, Dusan
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH SOR 09, 2009, : 93 - 99
  • [32] Uncertain Satisfiability and Uncertain Entailment
    Wang, Zhuo
    Li, Xiang
    PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES, 2009, 8 : 747 - 752
  • [33] Generating hard satisfiability problems
    Selman, B
    Mitchell, DG
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 1996, 81 (1-2) : 17 - 29
  • [34] DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
    Bumpus, Benjamin Merlin
    Kocsis, Zoltan A.
    JOURNAL OF SYMBOLIC LOGIC, 2024,
  • [35] Introducing Preferences in Planning as Satisfiability
    Giunchiglia, Enrico
    Maratea, Marco
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (02) : 205 - 229
  • [36] Symbolic techniques in satisfiability solving
    Pan, Guoqiang
    Vardi, Moshe Y.
    JOURNAL OF AUTOMATED REASONING, 2005, 35 (1-3) : 25 - 50
  • [37] Computational Complexity of Quantum Satisfiability
    Herrmann, Christian
    Ziegler, Martin
    JOURNAL OF THE ACM, 2016, 63 (02)
  • [38] Delegation and Satisfiability in Workflow Systems
    Crampton, Jason
    Khambhammettu, Hemanth
    SACMAT'08: PROCEEDINGS OF THE 13TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2008, : 31 - 40
  • [39] BRANCHING-RULES FOR SATISFIABILITY
    HOOKER, JN
    VINAY, V
    JOURNAL OF AUTOMATED REASONING, 1995, 15 (03) : 359 - 383
  • [40] Configuration management through satisfiability
    Pearce, Bryan
    Kurz, Mary E.
    Phelan, Keith
    Summers, Joshua
    Schulte, Jorg
    Dieminger, Wolfgang
    Funk, Kilian
    6TH CIRP CONFERENCE ON ASSEMBLY TECHNOLOGIES AND SYSTEMS (CATS), 2016, 44 : 204 - 209
12345