论文信息 - Towards mechanical metamathematics - 字舞流文

Towards mechanical metamathematics

Natarajan Shankar | N. Shankar

[1] J. Schwartz,et al. Metamathematical extensibility for theorem verifiers and proof-checkers☆ , 1979 .

[2] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.

[3] Robert S. Boyer,et al. Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures. , 1979 .

[4] Alan Bundy,et al. Boyer-Moore Theorem Prover , 1984 .

[5] Frank Malloy Brown. An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning , 1980, Artif. Intell..

[6] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[7] Lawrence C. Paulson,et al. Verifying the Unification Algorithm in LCF , 1985, Sci. Comput. Program..

[8] B. Boucher. Post script , 1974, Nature.

[9] Emil L. Post. The two-valued iterative systems of mathematical logic , 1942 .

[10] Richard W. Weyhrauch,et al. Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[11] 嶋田君枝. 直観主義命題論理の Theorem Prover , 1974 .

[12] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .

[13] R. Jakobson. On Language , 1990 .

[14] Conclusions , 1989 .