메뉴 건너뛰기




Volumn 125, Issue 3, 2000, Pages 385-416

Looking from the inside and from the outside

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0000625726     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/A:1005244027724     Document Type: Article
Times cited : (3)

References (51)
  • 2
  • 4
    • 0000297004 scopus 로고
    • Polynomial Size Proofs of the Propositional Pigeonhole Principle
    • Buss, S.: 1987, 'Polynomial Size Proofs of the Propositional Pigeonhole Principle', Journal of Symbolic Logic 52, 916-27.
    • (1987) Journal of Symbolic Logic , vol.52 , pp. 916-927
    • Buss, S.1
  • 5
    • 44949274401 scopus 로고
    • The Undecidability of k-Provability
    • Buss, S.: 1991, 'The Undecidability of k-Provability', Annals of Pure and Applied Logic 53, 75-102.
    • (1991) Annals of Pure and Applied Logic , vol.53 , pp. 75-102
    • Buss, S.1
  • 6
    • 0031566906 scopus 로고    scopus 로고
    • Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus
    • Carbone, A.: 1997, 'Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus', Annals of Pure and Applied Logic 83, 249-99.
    • (1997) Annals of Pure and Applied Logic , vol.83 , pp. 249-299
    • Carbone, A.1
  • 10
    • 0040360930 scopus 로고    scopus 로고
    • Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination
    • Carbone, A. and S. Semmes: 1997, 'Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination', Bulletin of the American Mathematical Society 34, 131-59.
    • (1997) Bulletin of the American Mathematical Society , vol.34 , pp. 131-159
    • Carbone, A.1    Semmes, S.2
  • 11
    • 0009312848 scopus 로고    scopus 로고
    • Prepositional Proofs via Combinatorial Geometry and the Search for Symmetry
    • Annals of the Kurt-Gödel-Society, Institute for Computer Science AS CR, Prague
    • Carbone, A. and S. Semmes: 1999, 'Prepositional Proofs via Combinatorial Geometry and the Search for Symmetry', in Collegium Logicum, Annals of the Kurt-Gödel-Society, Volume 3, pp. 85-98, Institute for Computer Science AS CR, Prague.
    • (1999) Collegium Logicum , vol.3 , pp. 85-98
    • Carbone, A.1    Semmes, S.2
  • 16
    • 0001601465 scopus 로고
    • The Relative Efficiency of Propositional Proof Systems
    • Cook, S. and R. Reckhow: 1979, 'The Relative Efficiency of Propositional Proof Systems', Journal of Symbolic Logic 44, 36-50.
    • (1979) Journal of Symbolic Logic , vol.44 , pp. 36-50
    • Cook, S.1    Reckhow, R.2
  • 17
    • 0000978928 scopus 로고
    • Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
    • Craig, W.: 1957, 'Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory', Journal of Symbolic Logic 22, 269-85.
    • (1957) Journal of Symbolic Logic , vol.22 , pp. 269-285
    • Craig, W.1
  • 20
    • 27944496797 scopus 로고
    • Untersuchungen über das Logische Schließen I-II'
    • Gentzen, G.: 1934, 'Untersuchungen über das Logische Schließen I-II', Mathematische Zeitschrift 39, 176-210, 405-31.
    • (1934) Mathematische Zeitschrift , vol.39 , pp. 176-210
    • Gentzen, G.1
  • 24
    • 0002434037 scopus 로고
    • Towards a Geometry of Interaction
    • J. Gray and A. Scedrov (eds), American Mathematical Society, Providence
    • Girard, J.-Y.: 1989a, 'Towards a Geometry of Interaction', in J. Gray and A. Scedrov (eds), Categories in Computer Science and Logic, American Mathematical Society, Providence, pp. 69-108.
    • (1989) Categories in Computer Science and Logic , pp. 69-108
    • Girard, J.-Y.1
  • 25
    • 22244435096 scopus 로고
    • Geometry of Interaction I: Interpretation of System F
    • R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo (eds), North Holland, Amsterdam
    • Girard, J.-Y.: 1989b, 'Geometry of Interaction I: Interpretation of System F', in R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo (eds), Logic Colloquium '88, North Holland, Amsterdam, pp. 221-60.
    • (1989) Logic Colloquium '88 , pp. 221-260
    • Girard, J.-Y.1
  • 26
    • 85031925268 scopus 로고
    • Geometry of Interaction II: Deadlock-Free Algorithms
    • P. Martin-Löf and G. Mints (eds), Springer-Verlag, Berlin
    • Girard, J.-Y.: 1990, 'Geometry of Interaction II: Deadlock-Free Algorithms', in P. Martin-Löf and G. Mints (eds), COLOG-88, Springer-Verlag, Berlin, pp. 76-93.
    • (1990) COLOG-88 , pp. 76-93
    • Girard, J.-Y.1
  • 27
    • 0043210213 scopus 로고
    • Geometry of Interaction III: Accommodating the Additives
    • J.-Y. Girard, Y. Lafont, and L. Regnier (eds), Cambridge University Press, Cambridge
    • Girard, J.-Y: 1995, 'Geometry of Interaction III: Accommodating the Additives', in J.-Y. Girard, Y. Lafont, and L. Regnier (eds), Advances in Linear Logic, Cambridge University Press, Cambridge, pp. 329-89.
    • (1995) Advances in Linear Logic , pp. 329-389
    • Girard, J.-Y.1
  • 28
    • 0002874575 scopus 로고
    • Asymptotic Invariants of Infinite Groups
    • G. Niblo and M. Roller (eds), Cambridge University Press, Cambridge
    • Gromov, M.: 1993, 'Asymptotic Invariants of Infinite Groups', in G. Niblo and M. Roller (eds), Geometric Group Theory, Volume 2, Cambridge University Press, Cambridge, pp. 1-295.
    • (1993) Geometric Group Theory , vol.2 , pp. 1-295
    • Gromov, M.1
  • 29
    • 0000076101 scopus 로고
    • The Intractability of Resolution
    • Haken, A.: 1985, 'The Intractability of Resolution', Theoretical Computer Science 39, 297-308.
    • (1985) Theoretical Computer Science , vol.39 , pp. 297-308
    • Haken, A.1
  • 31
    • 0001951331 scopus 로고
    • A Catalog of Complexity Classes
    • J. van Leeuwen (ed.), Elsevier and MIT Press, Amsterdam and Cambridge, MA
    • Johnson, D.: 1990, 'A Catalog of Complexity Classes', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier and MIT Press, Amsterdam and Cambridge, MA, pp. 67-161.
    • (1990) Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity , pp. 67-161
    • Johnson, D.1
  • 32
  • 33
    • 84937652953 scopus 로고
    • Logical Basis for Information Theory and Probability Theory
    • Kolmogorov, A.: 1968, 'Logical Basis for Information Theory and Probability Theory', IEEE Transactions on Information Theory 14(5), 662-64.
    • (1968) IEEE Transactions on Information Theory , vol.14 , Issue.5 , pp. 662-664
    • Kolmogorov, A.1
  • 35
    • 0003341174 scopus 로고
    • Kolmogorov Complexity and its Applications
    • J. van Leeuwen (ed.), Elsevier and MIT Press, Amsterdam and Cambridge, MA
    • Li, M. and P. Vitányi: 1990, 'Kolmogorov Complexity and its Applications', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier and MIT Press, Amsterdam and Cambridge, MA, pp. 187-254.
    • (1990) Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity , pp. 187-254
    • Li, M.1    Vitányi, P.2
  • 37
    • 0000946012 scopus 로고
    • Lower Bounds for Increasing Complexity of Derivations after Cut Elimination
    • Orevkov, V: 1982, 'Lower Bounds for Increasing Complexity of Derivations after Cut Elimination', Journal of Soviet Mathematics 20, 2337-350.
    • (1982) Journal of Soviet Mathematics , vol.20 , pp. 2337-2350
    • Orevkov, V.1
  • 39
    • 0001695955 scopus 로고
    • Existence and Feasibility in Arithmetic
    • Parikh, R.: 1971, 'Existence and Feasibility in Arithmetic', Journal of Symbolic Logic 36, 494-508.
    • (1971) Journal of Symbolic Logic , vol.36 , pp. 494-508
    • Parikh, R.1
  • 40
    • 0003164887 scopus 로고
    • Definability and Decision Problems in Arithmetic
    • Robinson, J.: 1949, 'Definability and Decision Problems in Arithmetic', Journal of Symbolic Logic 14, 98-114.
    • (1949) Journal of Symbolic Logic , vol.14 , pp. 98-114
    • Robinson, J.1
  • 42
    • 0000851847 scopus 로고
    • Homologie Singulière des Espaces Fibrés
    • Serre, J.-P.: 1951, 'Homologie Singulière des Espaces Fibrés', Annals of Mathematics 54, 425-505.
    • (1951) Annals of Mathematics , vol.54 , pp. 425-505
    • Serre, J.-P.1
  • 45
    • 0001512940 scopus 로고
    • Bounds for Proof-Search and Speed-Up in the Predicate Calculus
    • Statman, R.: 1978, 'Bounds for Proof-Search and Speed-Up in the Predicate Calculus', Annals of Mathematical Logic 15, 225-87.
    • (1978) Annals of Mathematical Logic , vol.15 , pp. 225-287
    • Statman, R.1
  • 48
    • 0003826898 scopus 로고
    • North-Holland, Amsterdam
    • Takeuti, G.: 1975, Proof Theory, North-Holland, Amsterdam.
    • (1975) Proof Theory
    • Takeuti, G.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.