Complexity of Gentzen systems for propositional logic

被引：0

作者：

机构：

[1] Urquhart, Alasdair

来源：

Urquhart, Alasdair | 1600年 / 66期

关键词：

Gentzen Systems - Propositional Logic - Sequents;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC - FINITE-MODELS, COMPLEXITY, AND COMPLETENESS
BENARI, M
HALPERN, JY
PNUELI, A
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) : 402 - 417
[32] Descriptive Complexity of Linear Equation Systems and Applications to Propositional Proof Complexity
Grohe, Martin
Pakusa, Wied
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
[33] Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition
Boudou, Joseph
AUTOMATED REASONING (IJCAR 2016), 2016, 9706 : 373 - 388
[34] A Cut-Free Gentzen Formulation of Basic Propositional Calculus
Kentaro Kikuchi
Katsumi Sasaki
Journal of Logic, Language and Information, 2003, 12 (2) : 213 - 225
[35] A bounded translation of intuitionistic propositional logic into basic propositional logic
Aghaei, M
Ardeshir, M
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
[36] PROPOSITIONAL DYNAMIC LOGIC FOR MESSAGE-PASSING SYSTEMS
Bollig, Benedikt
Kuske, Dietrich
Meinecke, Ingmar
LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03) : 1 - 31
[37] Some properties of the roots of theories in propositional logic systems
Zhang, Jiancheng
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 55 (09) : 2086 - 2093
[38] Optimal proof systems for propositional logic and complete sets
Messner, J
Torán, J
STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 477 - 487
[39] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[40] FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
Salomaa, Arto
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (01) : 147 - 159

← 1 2 3 4 5 →