An abstract strong normalization theorem

被引：0
|
作者：
Berger, U [1 ]
机构：
[1] Univ Coll Swansea, Swansea, W Glam, Wales
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 2005年 / 3634卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove a strong normalization theorem for abstract term rewriting systems based on domain-theoretic models. The theorem applies to extensions of Godel's system T by various forms of recursion related to bar recursion for which strong normalization was hitherto unknown.
引用
收藏
页码：27 / 35
页数：9
相关论文
共 50 条
  • [31] Strong normalization results by translation
    David, Rene
    Nour, Karim
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (09) : 1171 - 1179
  • [32] Short proofs of strong normalization
    Wojdyga, Aleksander
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2008, PROCEEDINGS, 2008, 5162 : 613 - 623
  • [33] Continuous semantics for strong normalization
    Berger, U
    NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 23 - 34
  • [34] An Abstract Theorem in Nonlinear Analysis
    Lazer, A. C.
    McKenna, P. J.
    ANALYSIS AND TOPOLOGY IN NONLINEAR DIFFERENTIAL EQUATIONS: A TRIBUTE TO BERNHARD RUF ON THE OCCASION OF HIS 60TH BIRTHDAY, 2014, 85 : 301 - 307
  • [35] Abstract decomposition theorem and applications
    Grossberg, R
    Lessmann, O
    LOGIC AND ITS APPLICATIONS, 2005, 380 : 73 - 108
  • [36] ABSTRACT FORM OF SCHOENBERG THEOREM
    BERG, C
    RESSEL, P
    ARCHIV DER MATHEMATIK, 1978, 30 (01) : 55 - 61
  • [37] Abstract interpretation with a theorem prover
    Anderson, H
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 411 - 422
  • [38] ABSTRACT EXISTENCE THEOREM AT RESONANCE
    CESARI, L
    KANNAN, R
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 63 (02) : 221 - 225
  • [39] A CONTRACTION THEOREM FOR ABSTRACT GRAPHS
    DIRAC, GA
    MATHEMATISCHE ANNALEN, 1961, 144 (01) : 93 - 96
  • [40] Parametrizing the abstract Ellentuck theorem
    Mijares, Jose G.
    DISCRETE MATHEMATICS, 2007, 307 (02) : 216 - 225
12345