Referential logic of proofs
暂无分享,去创建一个
[1] Hans Hermes,et al. Introduction to mathematical logic , 1973, Universitext.
[2] R. Solovay. Provability interpretations of modal logic , 1976 .
[3] Mike Paterson,et al. Linear unification , 1976, STOC '76.
[4] Dirk van Dalen,et al. Logic and structure , 1980 .
[5] Warren D. Goldfarb,et al. The Undecidability of the Second-Order Unification Problem , 1981, Theor. Comput. Sci..
[6] Michel Bidoit,et al. A Rehabilitation of Robinson's Unification Algorithm , 1983, IFIP Congress.
[7] R. E. A. Mason,et al. Information Processing 83 , 1984 .
[8] Max A. Sobel,et al. Introduction to mathematics , 1984 .
[9] G. Boolos,et al. Self-Reference and Modal Logic , 1985 .
[10] K. Gödel,et al. Kurt Gödel : collected works , 1986 .
[11] Elliott Mendelson,et al. Introduction to mathematical logic (3. ed.) , 1987 .
[12] William M. Farmer. Simple Second-order Languages for which Unification is Undecidable , 1991, Theor. Comput. Sci..
[13] C.-J. Seger. On the Existence of Speed-Independent Circuits , 1991, Theor. Comput. Sci..
[14] Sergei N. Artëmov,et al. Functionality in the Basic Logic of Proofs , 1993 .
[15] Sergei N. Artëmov. Logic of Proofs , 1994, Ann. Pure Appl. Log..
[16] Sergei N. Artëmov,et al. Referential Data Structures and Labeled Modal Logic , 1994, LFCS.
[17] Sergei N. Artemovy. Operational Modal Logic , 1995 .
[18] Sergei N. Artëmov,et al. Data Storage Interpretation of Labeled Modal Logic , 1996, Ann. Pure Appl. Log..
[19] Vladimir Krupski,et al. Operational Logic of Proofs with Functionality Condition on Proof Predicate , 1997, LFCS.
[20] Igor L. Tandetnik. Unification of Terms with Term-Indexed Variables , 1997, LFCS.
[21] Roman Kuznets. On the Complexity of Explicit Modal Logics , 2000, CSL.
[22] Nachum Dershowitz,et al. In handbook of automated reasoning , 2001 .
[23] Tatiana Yavorskaya,et al. Logic of proofs and provability , 2001, Ann. Pure Appl. Log..
[24] Sergei N. Artëmov,et al. On First Order Logic of Proofs , 2001 .
[25] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[26] Vladimir Krupski,et al. The single-conclusion proof logic and inference rules specification , 2001, Ann. Pure Appl. Log..
[27] Andrei Voronkov,et al. Handbook of Automated Reasoning: Volume 1 , 2001 .