PROOF NORMALIZATION FOR RESOLUTION AND PARAMODULATION

被引：0

|

作者：

BACHMAIR, L

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：15 / 28

页数：14

相关论文

共 50 条

[21] Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
Beylin, I
Dybjer, P
TYPES FOR PROOFS AND PROGRAMS, 1996, 1158 : 47 - 61
[22] Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
Ryo Takemura
Archive for Mathematical Logic, 2021, 60 : 783 - 813
[23] Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
Takemura, Ryo
ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (7-8) : 783 - 813
[24] NONEQUIVALENCE OF INPUT PARAMODULATION REFUTATION AND UNIT PARAMODULATION REFUTATION
SUN, JG
LIU, XH
CHINESE SCIENCE BULLETIN, 1992, 37 (22): : 1920 - 1923
[25] An elementary proof of strong normalization for intersection types
Silvio Valentini
Archive for Mathematical Logic, 2001, 40 : 475 - 488
[26] Gentzen's proof of normalization for natural deduction
von Plato, Jan
BULLETIN OF SYMBOLIC LOGIC, 2008, 14 (02) : 240 - 244
[27] Some General Results About Proof Normalization
Aiguier, Marc
Longuet, Delphine
LOGICA UNIVERSALIS, 2010, 4 (01) : 1 - 29
[28] An elementary proof of strong normalization for intersection types
Valentini, S
ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (07) : 475 - 488
[29] Proof normalization of structured algebraic specifications is convergent
Wirsing, M
Crossley, JN
Peterreins, H
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 326 - 340
[30] BASIC PARAMODULATION
BACHMAIR, L
GANZINGER, H
LYNCH, C
SNYDER, W
INFORMATION AND COMPUTATION, 1995, 121 (02) : 172 - 192

← 1 2 3 4 5 →