A sequent calculus for circumscription

被引：0
|
作者：
Bonatti, PA [1 ]
Olivetti, N [1 ]
机构：
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
来源：
COMPUTER SCIENCE LOGIC | 1998年 / 1414卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we introduce a sequent calculus CIRC for propositional Circumscription. This work is part of a larger project, aiming at a uniform proof-theoretic reconstruction of the major families of non-monotonic logics. Among the novelties of the calculus, we mention that CIRC is analytic and comprises an axiomatic rejection method, which allows for a fully detailed formalization of the nonmonotonic aspects of inference.
引用
收藏
页码：98 / 114
页数：17
相关论文
共 50 条
  • [31] A Classical Sequent Calculus with Dependent Types
    Miquey, Etienne
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 777 - 803
  • [32] Tableaux and sequent calculus for minimal entailment
    Olivetti, Nicola
    Journal of Automated Reasoning, 1992, 9 (01)
  • [33] A sequent calculus for constructive ordered fields
    Negri, S
    REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 2001, 306 : 143 - 155
  • [34] A Nonmonotonic Modal Relevant Sequent Calculus
    Shimamura, Shuhei
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
  • [35] A simple sequent calculus for nominal logic
    Cheney, James
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 699 - 726
  • [36] Encoding transition systems in sequent calculus
    McDowell, R
    Miller, D
    Palamidessi, C
    THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 411 - 437
  • [37] Sequent calculus for subtyping polymorphic types
    Tiuryn, J.
    Lecture Notes in Computer Science, 1113
  • [38] Monadic Translation of Intuitionistic Sequent Calculus
    Santo, Jose Espirito
    Matthes, Ralph
    Pinto, Luis
    TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 100 - +
  • [39] Grokking the Sequent Calculus (Functional Pearl)
    Binder, David
    Tzschentke, Marco
    Mueller, Marius
    Ostermann, Klaus
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [40] Sequent Calculus as a Compiler Intermediate Language
    Downen, Paul
    Maurer, Luke
    Ariola, Zena M.
    Jones, Simon Peyton
    ACM SIGPLAN NOTICES, 2016, 51 (09) : 74 - 88
12345