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 条
  • [21] Probabilistic satisfiability with imprecise probabilities
    Hansen, P
    Jaumard, B
    de Aragao, MP
    Chauny, F
    Perron, S
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2000, 24 (2-3) : 171 - 189
  • [22] Counting for satisfiability by inverting resolution
    Andrei, S
    ARTIFICIAL INTELLIGENCE REVIEW, 2004, 22 (04) : 339 - 366
  • [23] ALGORITHMS FOR THE MAXIMUM SATISFIABILITY PROBLEM
    HANSEN, P
    JAUMARD, B
    COMPUTING, 1990, 44 (04) : 279 - 303
  • [24] Generating hard satisfiability problems
    Selman, B
    Mitchell, DG
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 1996, 81 (1-2) : 17 - 29
  • [25] Uncertain Satisfiability and Uncertain Entailment
    Wang, Zhuo
    Li, Xiang
    PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES, 2009, 8 : 747 - 752
  • [26] Upper bounds on the satisfiability threshold
    Dubois, O
    THEORETICAL COMPUTER SCIENCE, 2001, 265 (1-2) : 187 - 197
  • [27] SATISFIABILITY TESTING IN THE CONTEXT OF HYPERGRAPHS
    Hvalica, Dusan
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH SOR 09, 2009, : 93 - 99
  • [28] Quantum Algorithm for Maximum Satisfiability
    Alasow, Abdirahman
    Perkowski, Marek
    2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022), 2022, : 27 - 34
  • [29] Boundary properties of the satisfiability problems
    Lozin, Vadim
    Purcell, Christopher
    INFORMATION PROCESSING LETTERS, 2013, 113 (09) : 313 - 317
  • [30] A time lower bound for satisfiability
    van Melkebeek, D
    Raz, R
    THEORETICAL COMPUTER SCIENCE, 2005, 348 (2-3) : 311 - 320
12345