Tableaux and sequent calculus for minimal entailment

被引：2
|
作者：
Olivetti, Nicola
机构：
来源：
Journal of Automated Reasoning | 1992年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] A Classical Sequent Calculus with Dependent Types
    Miquey, Etienne
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 777 - 803
  • [42] 1ST-ORDER SYNTACTIC CHARACTERIZATIONS OF MINIMAL ENTAILMENT, DOMAIN-MINIMAL ENTAILMENT, AND HERBRAND ENTAILMENT
    SUCHENEK, MA
    JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 237 - 263
  • [43] A sequent calculus for constructive ordered fields
    Negri, S
    REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 2001, 306 : 143 - 155
  • [44] A Nonmonotonic Modal Relevant Sequent Calculus
    Shimamura, Shuhei
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
  • [45] A simple sequent calculus for nominal logic
    Cheney, James
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 699 - 726
  • [46] Encoding transition systems in sequent calculus
    McDowell, R
    Miller, D
    Palamidessi, C
    THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 411 - 437
  • [47] Sequent calculus for subtyping polymorphic types
    Tiuryn, J.
    Lecture Notes in Computer Science, 1113
  • [48] Monadic Translation of Intuitionistic Sequent Calculus
    Santo, Jose Espirito
    Matthes, Ralph
    Pinto, Luis
    TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 100 - +
  • [49] 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):
  • [50] Minimal bar tableaux
    Clifford, Peter
    ANNALS OF COMBINATORICS, 2005, 9 (03) : 281 - 291
12345