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 条
  • [41] Solving satisfiability problems with preferences
    Di Rosa, Emanuele
    Giunchiglia, Enrico
    Maratea, Marco
    [J]. CONSTRAINTS, 2010, 15 (04) : 485 - 515
  • [42] Solving satisfiability problems with preferences
    Emanuele Di Rosa
    Enrico Giunchiglia
    Marco Maratea
    [J]. Constraints, 2010, 15 : 485 - 515
  • [43] Credibilistic Satisfiability and Credibilistic Entailment
    Li, Xiang
    Wong, Hau-San
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2010, 16 (1-2) : 105 - 134
  • [44] Resolution and the integrality of satisfiability problems
    Hooker, JN
    [J]. MATHEMATICAL PROGRAMMING, 1996, 74 (01) : 1 - 10
  • [45] A DUAL ALGORITHM FOR THE SATISFIABILITY PROBLEM
    TANAKA, Y
    [J]. INFORMATION PROCESSING LETTERS, 1991, 37 (02) : 85 - 89
  • [46] Robust Satisfiability of Systems of Equations
    Franek, Peter
    Krcal, Marek
    [J]. JOURNAL OF THE ACM, 2015, 62 (04)
  • [47] Terminating Calculi and Countermodels for Constructive Modal Logics
    Dalmonte, Tiziano
    Grellois, Charles
    Olivetti, Nicola
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 391 - 408
  • [48] A General Constructive Form of Higman's Lemma
    Berardi, Stefano
    Buriola, Gabriele
    Schuster, Peter
    [J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [49] Constructive agents
    van Benthem, Johan
    [J]. INDAGATIONES MATHEMATICAE-NEW SERIES, 2018, 29 (01): : 23 - 35
  • [50] Constructive suprema
    Baroni, MA
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (12) : 1865 - 1877
12345