Paper Info
Title
Extended normal for theorems for logical proofs from axioms
Abstract
We present an exact modeling of cut-free arithmetic by cut-free predicate logic. Exact proof-theoretic analysis reveals connections with omega-consistency and reflection.
Year
DOI
Venue
2000
10.1016/S0304-3975(99)00172-3
Theor. Comput. Sci.
Keywords
DocType
Volume
Omega-consistency,Proof search strategies,logical proof
Journal
232
Issue
ISSN
Citations 
1-2
Theoretical Computer Science
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Toshiyasu Arai18918.50
Grigori Mints223572.76