Авторизация
Поиск по указателям
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.
Обсудите книгу на научном форуме Нашли опечатку?
Название: Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.Автор: Suppes P.(ed.) Аннотация: This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
Язык: Рубрика: Математика /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1998Количество страниц: 821Добавлена в каталог: 05.03.2014Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Jump 239 380 Jump hierarchy 276 justification 707 710 Kabakov, F.A. 466 Kadota, N. 197 205 Kahle, R. 268 334 Kanger, S. 36 76 Kapur, A. 774 Kapur, D. 783 Kaufmann, M. 773 Kaye, R.W. 80 137 145 Keisler, H.J. 462 469 472 758 775 Kenny, A. 780 Kent, C.F. 100 106 145 Ketonen, J. 126 145 154 191 205 Khakhanyan, V.Kh. 439 458 466 Kino, A. 145 146 333 334 401—404 466 468 473 777 781 Kipnis, M.M. 466 Kirby, L.A.S. 84 134 136 137 146 153 191 192 205 Kleene basis operator 377 384 Kleene basis theorem 384 Kleene equality 746 Kleene — Brouwer ordering 228 Kleene's 150 153 Kleene, S.C. 9 31 76 150 151 153 228 339 356 357 362 363 366 368—370 377 383 384 386 390 391 403 408 409 411 412 420—422 428 431 433 434 449 459 467 680 701 746 778 Kleine Buening, H. 472 473 Knoblock, T.B. 776 Knuth, D.E. 780 Kobayashi, S. 467 Koenig's lemma 439 see Koenig, J. 36 366 371 373 439 Kohlenbach, U.W. 340 341 356 372 375—377 403 407 436 467 Kolmogorov, A. 65 66 408 727 766 Kondo — Addision theorem 385 Kondo, M. 385 Kowalski, R.A. 64 76 640 680 Kozen, D. 468 690 766 780 KPT Witnessing Theorem 131 Kracht, M. 546 Krajicek, J. 54 76 108 131—133 143—145 206 403 542 543 546 554 564 569—571 593—595 598—601 605 607 612—619 621 622 624—627 629—634 Kreisel's conjecture 571 587 Kreisel, G. 54 76 175 189 205 249 339 340 353 355 357 361 366 369—371 383 404 421 433 434 467 503 505 543 544 549 554 564 571—573 587 628—630 634 723 744 780 Kreitz, C. 754 766 770 780 Krentel, M.W. 131 145 Kripke frame 478 535 Kripke model 478 515 535 Kripke semantics 700 Kripke — Platek set theory, 290 Kripke — Platek set theory, 217 280 Kripke — Platek set theory, 217 Kripke — Platek set theory, 216 Kripke — Platek set theory, KP 217 280 Kripke — Platek set theory, KPi 289 Kripke — Platek set theory, KPl 283 Kripke — Platek set theory, KPl with iterated admissibility 292 Kripke, S. 66 478 480—482 487 488 490 494 495 514 529 530 534 535 539 541 680 700 780 Krol', M.D. 421 467 Kropf, T. 783 Kumar, R. 783 Kunen, K. 462 469 472 643 651 652 654 658 659 661 668 669 680 Kurtz, S.A. 468 Kushner, B. 470 Labeled assertion 705 Lacombe, D. 774 784 Laeuchli, H. 460 468 700 781 Lafont, y. 75 397 398 402 459 465 675 680 689 692 695 724 778 Lambda notation 696 709 714 Lambek, J. 421 468 694 781 Lang, B. 779 Language 4 Lassez, J.-L. 643 681 Laudet, M. 774 784 Lautemann, C. 74 Least fixed point 282 387 Least number principle see "Minimization axiom" Lee, R.C.-T. 25 64 74 552 567 628 631 Leeser, M. 783 Leftmost branch 384 Leibniz, G.W. 686 687 Leitsch, A. 402 628 630 Leivant's Principle 488 Leivant, D. 190 205 460 463 488 686 781 Length 92 103 425 Length induction see "Induction axiom" Length minimization see "Minimization axiom" Length, proof 13 564 see proof" Lercher, B. 755 779 Lessan, H. 137 145 Level see "Type level" Levy hierarchy 215 295 Levy, A. 215 295 505 544 Lewis, C.I. 544 Lifschitz topos 457 Lifschitz, V. 422 437—439 457 461 468 Limit ordinal 281 Limit ordinal, Lim 211 Limited iteration on notation 104 Limited recursion on notation 365 Lincoln, p. 74 76 Lindstroem, P. 122 145 495 508 511 513 544 Line 721 Linear arithmetic (SupInf) 711 Linear bounded automata 99 Linear implication 72 Linear logic 70—74 Linear logic, MALL 73 Linear order, 270 286 Linear proof 551 Linear resolution 24 Linear space 99 Linear time hierarchy 99 Linked list 760 Lipton, J. 460 468 Lipton, R.J. 99 145 Liskov, B. 757 781 Lisp 686 754 LIST 713 list type 736 Literal 18 598 642 Literal, ground 62 Literal, negative 19 642 Literal, positive 19 642 Liu, C.L. 781 Lloyd, J.W. 640 648 649 661 668 680 681 Local predicativity 253 Local reflection principle 490 Locally essentially reflexive 505 Loeb's theorem 122 Loeb, M.H. 75 117 118 122 145 189 205 481 484 486 491 496 531 534 538 Loeb, P. 768 Loewenheim — Skolem theorem 216 Loewenheim, L. 216 Logic of proofs 497 Logic program 649 Logic program, allowed 668 Logic program, definite 649 667 Logic program, general 649 Logic program, normal 649 Logic with partial terms (LPT) 411—412 746 Logical argument 665 Logical axiom 5 11 17 176 656 Logical consequence 647 Logical framework 685 Logical implication 28 32 Logical rule 32 656 Lolli, G. 634 London, R. 690 780 Long, D.E. 766 775 Longo, G. 634 Lopez-Escobar, E.G.K. 17 57 76 Lorenz, K. 402 Los, J. 334 468 781 Loveland, D.W. 24 25 64 76 Luckham, D. 23 24 76 690 780 Luckhardt, H. 340 351 370 404 407 628 634 Lund, C. 630 Luo, Z. 692 781 Lusk, E. 77 786 Lyndon, R.C. 57 76 78 Maass, W. 340 399 404 Maciel, A. 74 Macintyre, A. 545 Mackenzie, D. 691 781 MacLane, S. 694 718 719 768 781 Magari algebra 485 Magari, R. 484—486 542 Magic rule 707 709 Maher, M.J. 643 681 Mahlo, p. 267 Main part of an inference 255 299 see Main, M. 463 Majorizable 434 436 Majorization hierarchy 160 Majorization properties 159 Majorize 373 434 Makkai, M. 460 465 Maksimova, L.L. 461 468 Mal'cev, A.I. 649 681 Manna, Z. 774 Marcja, A. 634 Marcus, R.B. 773 Markov's principle (M) 347 352 354 356 416 Markov, A.A. 347 355 356 416 417 439 441 688 727 781 Marques, A. 460 464 Martelli, M. 672 680 Martin-Loef, P. 359 394 398 400 401 403 404 441 459 468 635 688 691 692 695 698 700 719 721 723—725 727 728 730 736 739 742 744—747 767 768 773 776 779 781—784 Martini, S. 459 462 Mathias, A.R.D. 464 467—469 471 472 Matijacevic, Yu.V. 113 781 Maximality 460 Maximization axiom 131 see McAllester, D.A. 689 781 McAloon, K. 399 402 462 464 McCarthy, J. 686 782 McCarty, D.C. 458 468 McCune, W. 779 McGee, V. 532 542 McKinsey, J.C.C. 500 544 McMillan, K.L. 766 775 Medvedev, Yu.T. 461 469 Mehlhorn, K. 681 Melham, T. 691 717 778 Mellish, C.S. 64 75 Melton, M. 463 Mendelson, E. 9 76 114 145 Mendler, N.P. 692 745 762 764 765 776 782 Mendler, P.F. 721 745 762 764 765 782 Meta-predicative 268 Metakides, G. 402 404 Metatheory 488 Meyer auf der Heide, F. 636 Meyer, A.R. 759 776 782 Meyer, B. 758 759 782 Midsequent theorem 574 Mikhajlov, A.I. 464 466 Miller, D. 679 681 Mills, H. 766 Milner, R. 690 691 709 766 778 782 Mines, R. 767 782 Minimal logic 48 Minimization axiom 86 95 Minimization axiom, length (LMIN) 101 110 Minimization axiom, MIN 83 110 Minimization operator 266 377 378 Minker, J. 680 Mints, G.E. 123 146 189 205 265 266 459 469 635 776 Mislove, A. 463 Mitchell, J.C. 76 394 397 404 468 759 775 782 Miyatake, T. 572 634 Mizar 691 ML 754 Modal logic, completeness 478 Modal logic, completeness theorem 480 Modal operators, 539 Modal operators, 529 Modal operators, 528 Modal operators, 491 Modal propositional logic 477 Modal systems, A, D 487 Modal systems, CS, CSM 492 493 Modal systems, IL, ILM 514 Modal systems, K, L, K4, S 477 478 Modal systems, LP 497 Modal systems, Lq, S5 539 Modal systems, QL, QS 540 Modal systems, S4 481 497 Modal systems, Sq 539 Modal systems, TOL, TLR, ELH 529 Modality 73 Modally expressible 490 MODE 665 Mode assignment 665 Model 28 501 647 Modified realizability see "Realizability" Modula 757 Module 757 760 Modulus of Uniform Continuity (MUC) 433 modus ponens 5 706 729 Moerdijk, I. 466 694 718 719 721 768 780—782 Moisil, G.C. 469 Monien, B. 636 Monotone operator 269 Monotonic 282 Monotonicity axiom 493 Monotonicity Lemma 225 Montagna, F. 485 488 493 496 497 521 528 532 542—544 589 633 Moore, G.H. 778 Moore, J.S. 690 711 774 Moschovakis, J.R. 407 421 428 434 469 Moschovakis, Y.N. 269 270 334 468 652 653 676 681 Most general proof 568 Mostowski, A. 82 83 147 212 495 503 545 Motwani, R. 630 Move 524 525 Muller, G.H. 204 777 Multiplicative connective 71—73 733 Multiply recursive 189 Mulvey, C.J. 464 Mundici, D. 402 612 634 Munkres, J.R. 9 76 Murthy, C. 723 766 782 Mycielski, J. 586 632 Mycroft, A. 643 681 Myers, J.P. 775 Myhill, J. 145 146 333 334 401—404 419 421 466 468 469 473 777 781 N-interpretation 342 see Nagel, E. 467 Nagornyi, N.M. 470 Nahm, W. 340 352 401 458 464 Natural deduction 47—48 69 600 Natural numbers 711 Natural proofs 134 Naumov, P. 776 ND-interpreted 348 Necessitation 477 498 Nederpelt, R.P. 690 782 Negation as failure 661 Negative clause 19 Negative formula 437 439 Negative occurrence 15
Реклама
, 
, 
|
|
О проекте