论文信息 - The number of proof lines and the size of proofs in first order logic - 字舞流文

The number of proof lines and the size of proofs in first order logic

Jan Krajícek | Pavel Pudlák | J. Krajícek | P. Pudlák

[1] Jan Kraj mIček. On the number of steps in proofs , 1989 .

[2] Tsuyoshi Yukami,et al. Some results on speed-up , 1984 .

[3] Jörg H. Siekmann,et al. Universal Unification , 1982, GWAI.

[4] Warren D. Goldfarb,et al. The Undecidability of the Second-Order Unification Problem , 1981, Theor. Comput. Sci..

[5] Tohru Miyatake. On the length of proofs in a formal systems , 1980 .

[6] R. Statman. Bounds for proof-search and speed-up in the predicate calculus , 1978 .

[7] G. Takeuti. Proof Theory , 1975 .

[8] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[9] Rohit Parikh. Some results on the length of proofs , 1973 .