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 .