Tableaux and sequent calculus for minimal entailment

被引：2
|
作者：
Olivetti, Nicola
机构：
来源：
Journal of Automated Reasoning | 1992年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A minimal classical sequent calculus free of structural rules
    Hughes, Dominic
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (10) : 1244 - 1253
  • [2] A Sequent Calculus for Opetopes
    Cedric Ho Thanh
    Curien, Pierre-Louis
    Mimram, Samuel
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [3] Consequences of the Sequent Calculus
    Braselmann, Patrick
    Koepke, Peter
    FORMALIZED MATHEMATICS, 2005, 13 (01): : 41 - 44
  • [4] A sequent calculus for circumscription
    Bonatti, PA
    Olivetti, N
    COMPUTER SCIENCE LOGIC, 1998, 1414 : 98 - 114
  • [5] A Sequent Calculus for Urn Logic
    French, Rohan
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 131 - 147
  • [6] A Sequent Calculus for Urn Logic
    Rohan French
    Journal of Logic, Language and Information, 2015, 24 : 131 - 147
  • [7] A SEQUENT CALCULUS FOR RELATION ALGEBRAS
    MADDUX, R
    ANNALS OF PURE AND APPLIED LOGIC, 1983, 25 (01) : 73 - 101
  • [8] SEQUENT CALCULUS FOR TYPE ASSIGNMENT
    SELDIN, JP
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 11 - 28
  • [9] SEQUENT CALCULUS FOR TYPE ASSIGNMENTS
    SELDIN, JP
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A502 - A502
  • [10] PTL sequent calculus system
    贲可荣
    陈火旺
    王兵山
    Science China Mathematics, 1995, (05) : 598 - 607
12345