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 条
  • [1] Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+
    Cerrito, Serenella
    David, Amelie
    Goranko, Valentin
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [2] HYPERGRAPHS AND SATISFIABILITY
    Hvalica, Dusan
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH SOR 09, 2009, : 85 - 92
  • [3] Estimating satisfiability
    Boufkhad, Yacine
    Hugel, Thomas
    DISCRETE APPLIED MATHEMATICS, 2012, 160 (1-2) : 61 - 80
  • [4] Satisfiability and Theories
    Voronkov, Andrei
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 16 - 16
  • [5] Satisfiability with exponential families
    Scheder, Dominik
    Zumstein, Philipp
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 148 - +
  • [6] THE MINIMUM SATISFIABILITY PROBLEM
    KOHLI, R
    KRISHNAMURTI, R
    MIRCHANDANI, P
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 1994, 7 (02) : 275 - 283
  • [7] The satisfiability constraint gap
    Gent, IP
    Walsh, T
    ARTIFICIAL INTELLIGENCE, 1996, 81 (1-2) : 59 - 80
  • [8] Stochastic Boolean satisfiability
    Littman, ML
    Majercik, SM
    Pitassi, T
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (03) : 251 - 296
  • [9] Stochastic Boolean Satisfiability
    Michael L. Littman
    Stephen M. Majercik
    Toniann Pitassi
    Journal of Automated Reasoning, 2001, 27 : 251 - 296
  • [10] ON THE GREEDY ALGORITHM FOR SATISFIABILITY
    KOUTSOUPIAS, E
    PAPADIMITRIOU, CH
    INFORMATION PROCESSING LETTERS, 1992, 43 (01) : 53 - 55
12345