|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Curry H.B. — Foundations of mathematical logic |
|
|
|
| Предметный указатель |
Stroke function 294
Structural induction 100
Structural rules 186 192
Studio Logica 20
Subaltern constituents 197
Subconstruction 102
Subformula property 225n.
Subnectors 33
Subnexus 33
Substitution prefix, in propositions 319—320
Substitution prefix, in propositions, in terms 318
Substitution rule 69
Substitution theorem 324
Substitution, of algorithms 76
Substitution, of algorithms for predicate variables 321
Substitution, of algorithms in statements 322
Substitutive variables 112 114—115
Subtableau 237
Subtheory 46
Subtractive lattice 140 144 148 157 161 162
Subtractive lattice, classical 149—163
Subtractive lattice, topological interpretation of 146
Subtree 102
suffixes 34
Sum (axiom scheme) 159 161 295
Suppes, P. 19 23 82 121 see
Suranyi, J. 341 358
symbols viii 29—30 106
Symbols as binary infixes 51
Symbols, concatenation of 51
Symbols, defined and illustrated 35
Symmetric difference 154
Syntactical system 51—54 83 85
Syntactical system, concatenative 52
Syntactical system, versus ob system 60—63
Syntactics 90—91
Syntax language 89
System, defined 50
System, versus theory 83
systems 50—64
Systems, elementary 68
Systems, formal 50
Systems, interpretation of 59—60
Systems, predicational types of 64—67
Systems, representation of 57
Systems, special forms of 64—70
Szam$ 53
t 316
T form of algebra 175
T formulations 165 175—178 216—219
T formulations of necessity 365—366
T formulations of negation 280ff.
T formulations of quantification 342ff.
T formulations, equivalence to L 216—219 281 342—343
T formulations, history of 248ff.
T systems see "T formulations"
TA form in propositional algebra 175
TA system 165 176—178 248—249 317
TA* 342
Table, interpretation through 129
Tableau see "Proof tableaux" "Semantic
Takeuti, G. 22
Tang, T.C. 368
Tantet (tantet) 52—53
Tarski 121 124
Tarski and Woodger 47 124 249 305
Tarski — Bernays theorem 248
Tarski, A. 19 26 47n. 49 83—84 88 91 121—124 161—164 175n. 184 246 248—249 305 358 see "Henkin "Jonsson "McKinsey
Taut (axiom scheme) 159 295
Tautology 26 59 see
TC form in propositional algebra 175
TC system 182
TC* 342
TD formulation 280
TE formulation 280
Tectonics 63 92
Term 86 316
Term extensions 315
Term functors 315
Term of development 298
Term operators 315
Term variables 314—317
Terminology, notes on 85—86
Terminus 102
Terms rules for, in quantification 317—321
Terms, in quantification theory 311
Tespersen, O. 86
Tettle (tetel) 52—53
Theorems, conventions legarding 198—199
Theoretical extension 94
Theory 45—49
Theory of types 17 21 23
Theory proper 51
Theory, extension of 46
Theory, interpretation of 48
Theory, versus system 83
Thesis 87
Thiele, H. 341
Time intuition 10
TJ formulation 280
TK formulation 280
TK* 342
TM formulation 280
Topological space 146
Topology, point-set 129
Traditional Logic 310
Transformation rules 53
Transliterations 369
tree diagrams 40 102
Truth criteria, fundamental 96
Truth of elementary statement 45
Truth tables 137
Truth tables, 0-1 297
Turing machine 79 82 85
| Turnstile 84
Turquette, A.R. see "Rosser and Turquette"
TX* 343
TXY 366
Type theory 21—22
U constants 111 316
U language 28—31 42 50 53 82 86 93 170—171 315
U variables 111 316
U verb 50
Ultimate ancestor 199
Ultimate definiens 106—107
Ultimate descendant 199
Umegawa, T. 250 309
Unary functors 33
Undecidability in predicate calculus 357
union 161
Union, symbols for 35
Unit clement in lattice 138—139
Universal algorithm 81 85
Universal category 113
Universal predicate 113
Unrestricted operational rule 230
Unrestricted predicate variable 321
Vacuous quantification 319 344
Validity of interpretation 48
Valuation 59 356
Value 32
Variables 121
Variables, bound 313ff.
Variables, classification of 111—119
Variables, real and apparent 314 319ff.
Vaught, R.L. 121
VB, VB', VC (postulates) 134
Ve rule 176
Verbal function 315
Verband 161
verbs 33 315
Vereinigung 161
Vi (rule) 176
VK 134 160 179
VK' 134 160 179
Void class, individual 320
von Leibniz, G.W. 158
von Neumann, J. 17 22 160 see
von Wright, G.H. 368
VS (postulate) 134 179
VW (postulate) 134
W elimination 275
Waisman, F. 20
Wajsberg, M. 243 240—250 280 305—307 308
Wang, H. 22 358
Ward, Morgan 101—103
Weakened implications 250ff.
Weakening rule 186 193 230 see
Wefs (well-formed expressions) 54 87
Weyl, H. 20 26
Whitehead and Russell see ""Principia Mathematica""
Whitehead, A.N. 4n. 6 22 84 158—160 246 295 304 308
Whitney, H. 162
Wilder, R.L. 19—20 26
Wittgenstein, Ludwig 17
Woodger, J.H. see "Tarski and Woodger"
Word problem of group theory 84
Words as expressions 30
Yanovskaya, S.A. 21
Ye 365
Yh 366
Yi 365
Yield sign 84
Z 24
Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik 20
Zentralblatt fuer Mathematik und ihre Grenzgebiete 20
Zermelo, E. 17n. 22
Zero element in lattice 138—139
Zhegalkin, I.I. 161
Zubieta, R.G. 324
[ALS] 89 373
[APM] 64 89 120 373 380
[AVS] 357 373
[CFS] 25 41 44 53 58 64 81 83 247 374
[CLg] vi—viii 17n. 25 32n. 43 45 67n. 68n. 82—86 90 92 105 110—111 117 119—121 250 314 319 369 375
[DFS] 25 33n. 83 121 374
[DNF] 306 370 374
[DSR] 69 83 374
[DTC] 68n. 121 374
[ETM] 250 360 367 374
[GDT] 184 263 374
[GKL] 86 374
[IAL] 25 246 250 374
[IFT] 25 83 86 245 252 374
[LAG] 32n. 41n. 63 82 374
[LFS] 82 90—92 374
[LLA] viii 25—26 44 64 149 153 158 161 287—288 294—295 305—307 310 374
[LMF] 31n. 82 90 374
[LSF] 91 374
[LSG] 82 84 374
[MSL] 82 90 374
[NAL] 160 374
[NRG] 249—250 274
[OFP] 26—27 84 120 374
[PBP] 86 374
[PEI] 249 357 374
[PFD] 245 305—306 356 374
[RDN] 85—86 373 374
[rev C] 33n. 115 375
[rev R] 9n. 375
[SFL] 86 374
[SLD] 244 279 306 370 375
[STC] 86 375
[TCM] 86 375
[TEA] 81 110 375
[TFD] 25 32n. 44 64 82—83 85—86 120 122 190 244—245 247—250 255n. 260 288 305—307 320 323 356 360n. 367 375
[UDB] 44 375
[UQC] 357 375
|
|
|
| Реклама |
|
|
|
|
|
О проекте