Tableaux and sequent calculus for minimal entailment

被引：2
|
作者：
Olivetti, Nicola
机构：
来源：
Journal of Automated Reasoning | 1992年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Sequent calculus in natural deduction style
    Negri, S
    von Plato, J
    JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) : 1803 - 1816
  • [32] A Nonmonotonic Sequent Calculus for Inferentialist Expressivists
    Hlobil, Ulf
    LOGICA YEARBOOK 2015, 2016, : 87 - 105
  • [33] Minimal Bar Tableaux
    Peter Clifford
    Annals of Combinatorics, 2005, 9 : 281 - 291
  • [34] Labeled sequent calculus for justification logics
    Ghari, Meghdad
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (01) : 72 - 111
  • [35] A sequent calculus for skeptical default logic
    Bonatti, PA
    Olivetti, N
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121
  • [36] A SIMPLE SEQUENT CALCULUS FOR PARTIAL FUNCTIONS
    ELVANGGORANSSON, M
    OWE, O
    THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) : 317 - 330
  • [37] A Unified Sequent Calculus for Focused Proofs
    Liang, Chuck
    Miller, Dale
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 355 - +
  • [38] Algebra and Sequent Calculus for Epistemic Actions
    Baltag, Alexandru
    Coecke, Bob
    Sadrzadeh, Mehrnoosh
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 27 - 52
  • [39] Labelled Sequent Calculus for Inquisitive Logic
    Chen, Jinsheng
    Ma, Minghui
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 526 - 540
  • [40] Sequent Calculus Representations for Quantum Circuits
    Beebe, Cameron
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (214): : 3 - 15
12345