Complexity of Gentzen systems for propositional logic

被引：0
|
作者：
机构：
[1] Urquhart, Alasdair
来源：
Urquhart, Alasdair | 1600年 / 66期
关键词：
Gentzen Systems - Propositional Logic - Sequents;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Proof systems for effectively propositional logic
    Navarro, Juan Antonio
    Voronkov, Andrei
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 426 - 440
  • [22] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [23] Enumeration Complexity of Poor Man's Propositional Dependence Logic
    Meier, Arne
    Reinbold, Christian
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2018, 2018, 10833 : 303 - 321
  • [24] Parameterised complexity of model checking and satisfiability in propositional dependence logic
    Yasir Mahmood
    Arne Meier
    Annals of Mathematics and Artificial Intelligence, 2022, 90 : 271 - 296
  • [25] Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
    Mahmood, Yasir
    Meier, Arne
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 157 - 174
  • [26] Parameterised complexity of model checking and satisfiability in propositional dependence logic
    Mahmood, Yasir
    Meier, Arne
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022, 90 (2-3) : 271 - 296
  • [27] A Gentzen System For The Description Logic
    Sun Yu
    Sui Yuefei
    2014 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2014), 2014, : 99 - 102
  • [28] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
    FORET, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 147 - 156
  • [29] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
    FORET, A
    JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 281 - 298
  • [30] 4 SIMPLE SYSTEMS OF MODAL PROPOSITIONAL LOGIC
    MASSEY, GJ
    PHILOSOPHY OF SCIENCE, 1965, 32 (04) : 342 - 355
12345