Complexity of Gentzen systems for propositional logic

被引：0
|
作者：
机构：
[1] Urquhart, Alasdair
来源：
Urquhart, Alasdair | 1600年 / 66期
关键词：
Gentzen Systems - Propositional Logic - Sequents;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Using propositional logic to compute probabilities in multistate systems
    Anrig, B
    Monney, PA
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1999, 20 (02) : 113 - 143
  • [42] Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
    From, Asta Halkjaer
    Eschen, Agnes Moesgard
    Villadsen, Jorgen
    INTELLIGENT COMPUTER MATHEMATICS (CICM 2021), 2021, 12833 : 32 - 46
  • [43] On Argumentation Logic and Propositional Logic
    Kakas, Antonis C. l
    Mancarella, Paolo
    Toni, Francesca
    STUDIA LOGICA, 2018, 106 (02) : 237 - 279
  • [44] Propositional dynamic logic for message-passing systems
    Bollig, Benedikt
    Kuske, Dietrich
    Meinecke, Ingmar
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 303 - +
  • [45] On Argumentation Logic and Propositional Logic
    Antonis C. Kakas
    Paolo Mancarella
    Francesca Toni
    Studia Logica, 2018, 106 : 237 - 279
  • [46] GENTZEN RULES IN CLASSICAL AND INTUITIONISTIC LOGIC
    SANCHIS, LE
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 383 - 383
  • [47] Propositional logic concept for fault diagnosis in complex systems
    Bicen, Yunus
    ENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH, 2020, 23 (05): : 1068 - 1073
  • [48] A propositional logic for access control policy in distributed systems
    Kurkowski, M
    Pejas, J
    ARTIFICIAL INTELLIGENCE AND SECURITY IN COMPUTING SYSTEMS, 2003, 752 : 175 - 189
  • [49] Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
    Cui, Luoping
    Yu, Wensheng
    INTELLIGENT NETWORKED THINGS, CINT 2024, PT I, 2024, 2138 : 85 - 94
  • [50] An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
    Morikawa, O
    FUZZY SETS AND SYSTEMS, 1999, 101 (01) : 115 - 123
12345