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 条
  • [41] PROOF SEARCH IN THE INTUITIONISTIC SEQUENT CALCULUS
    SHANKAR, N
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 522 - 536
  • [42] Interpolation for a sequent calculus of generalized quantifiers
    Alechina, N
    THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1996, 1071 : 36 - 47
  • [43] A SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
    VALENTINI, S
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 708
  • [44] A Classical Sequent Calculus with Dependent Types
    Miquey, Etienne
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (02):
  • [45] Intersection Logic in sequent calculus style
    Della Rocca, Simona Ronchi
    Saurin, Alexis
    Stavrinos, Yiorgos
    Veneti, Anastasia
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (45): : 16 - 30
  • [46] A Sequent Calculus for Generalized Inductive Definitions
    Van den Eede, Robbe
    Van Biervliet, Robbe
    Denecker, Marc
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 30 - 42
  • [47] A sequent calculus for subtyping polymorphic types
    Tiuryn, J
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 135 - 155
  • [48] A sequent calculus for limit computable mathematics
    Berardi, Stefano
    Yamagata, Yoriyuki
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 153 (1-3) : 111 - 126
  • [49] Monadic translation of classical sequent calculus
    Santo, Jose Espirito
    Matthes, Ralph
    Nakazawa, Koji
    Pinto, Luis
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (06) : 1111 - 1162
  • [50] A sequent calculus for subtyping polymorphic types
    Tiuryn, J
    INFORMATION AND COMPUTATION, 2001, 164 (02) : 345 - 369
12345