|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Curry H.B. — Foundations of mathematical logic |
|
|
|
| Предметный указатель |
Lattice(s), Heyting, modal 368
Lattice(s), Heyting, relatively pseudocomplemented 162—163
Lattice(s), Heyting, residuated 162—163
Lattice(s), Heyting, special elements of 138—139
Lattice-ordered groups and semigroups 163
Law of forms 301n.
lc 189—190 277
LC, completeness of 224
LD 260—263 279
LE 260—263 277 279
LE, completeness of 275
LeBlanc and Hailperin 358
Leblanc, H. 19—21 82
Ledley, R.S. 309
Left constituent 191
Left prosequence 191
Left-facing point 36
Leggett, H.W. 4
Lemmon, E.J. 368
Lesieur, L. see "Dubreil — Jacotin"
Lesniewski, S. 24 158 252
letters 30
Letters, use of viii 126
Levy, Azriel 22
Lewis and Langford 158 367
Lewis, C.I. 20—21 27 367 381
Liar paradox 5 9 26 123
Lightstone and Robinson 358
Lightstone, A.H. 358
Like constituents 191
Lindenbaum algebra 174
Lindenbaum interpretation 174
Lindenbaum, Adolf 174n.
Linear language 30
Linear spaces 129
LJ system 260—263 317
LJ* system 321 323 330
LK system 261 263 277
LK system, completeness of 275
LK* system 312 321 330
LM system 259 261 263 283
LM* system 321 323 330
Loewenheim — Skolem theorem 6—7 95 121
Loewenheim, L. 324
Logic, application of 24
Logic, as branch of mathematics 1—2
Logic, basic 24
Logic, combinatory 17
Logic, compared to geometry 2
Logic, mathematical 1—3
Logic, mathematics and 3 16—18 27
Logic, philosophical 1
Logic, traditional 310
Logical algebras 125—131
Logical algebras, assertional versus relational 166—168
Logical algebras, associative laws of 133
Logical algebras, interpretation of 127 145
Logical algebras, relational 125—164
Logical antinomies 3—8
Logical calculus, approaches to 245
Logical consequence 10
Logical paradoxes 3—8
Logicism 16—18
Logique et analyse 20
Logistic calculus 21
Logistic system 86
Lorenzen, P. 19 22 25 27 83 97 124 160 173 243 245 247 253
Lorenzen, P., inversion principle 173
Lukasiewicz and Tarski 84 175n. 184 246 248 305
Lukasiewicz notation 34 36n. 44
Lukasiewicz presentation 57
Lukasiewicz representation 58 61
Lukasiewicz standard presentation 57
Lukasiewicz, J. 21 34n. 84 175n. 184 246 248 252 288 295 305 307—309
LX* system 312 321 323 332 334 343 351
LXY system 362
Lyndon, R.C. 23
MacColl, Hugh 367
MacLane, S. 121
Maehara, S. 249—250 342 368
Malcev, A.I. 121
Many-sorted predicate calculus 358
Mapping 95 101
Marcus, R.B. see "Barcan"
Marker, place 75
Markov algorithm 70 84 110 123 139
Markov algorithm, composition of 73—74
Markov algorithm, equivalence to Turing machine 82
Markov algorithm, equivalence, to recursiveness 82
Markov algorithm, reduction to (semi)shuttlealgorithm 70 78
Markov's thesis 70 123
Markov, A.A. 28 81—82 84
Markwald, W. 19 see
Martin, R. 82 90
Mathematical logic, defined 2 see
Mathematical logic, nature of 1—3
Mathematical logic, relation of, to mathematics 3
Mathematical Reviews 369
Mathematics, consistency in 11
Mathematics, nature of 8—16 26
Mathematics, nature of, examples of 11—13
Mathematics, relation of, to logic 2—3 16—18 27
Matrix interpretation 129 175 309
Matrix, normal 175
Matsumoto, K. see "Ohnishi and Matsumoto"
Maximal branch 102
McKinsey and Tarski 161 368
McKinsey, J.C.C. 161—162 280 368 see
Meet or conjunction,symbols for 35
Meet, Birkhoff term 161
Menger, K. 122 159 162
Mention, of expressions 30
Mention, of functors 34
Meredith, C.A. 184
Meta-, prefix 86 89 122
Metalanguage 31 89 92
Metamathematics 15 86 120
Metamathematics, elementary 88
Metamathematics, elementary statement of 88
Metametalanguage 31 92
Metaphysical assumptions 10 13—16
Metasemiosis 61
Metasystem 61 92
Metatheoretics 122
Metatheory 120 122
Mihailescu, E.G. 158
Minimal negation 259—261 306
Minkowski, H. 161
Mitteilungszeichen 87 89
Mixed system 191
Modal logic 251 359
Modality 359—368
Modality, outer system represented in inner 363—365
Model in quantification 336
Model, interpretations and 60
Modified composition property 332
Modified formulations 264
Modular lattice 138 see
Modus ponens, rule of 140 159 165 178
Moh Shaw-Kwei 368
Moisil, G. 161 253 306
Molinaro, M. 160
Monotectonic construction 41
Monotectonic system 60 62
Monotone equivalence 104
Monotone operation 103
Monotone quasi ordering 104
Monotone relations 104—105
Montague and Kalish 358
Monteiro, A.A. 149 163
| Moolean algebra 163 309
Morphology 51
Morphology of L systems 190—192 261—262
Morphology of L* systems 317ff.
Morris, C.W. 82
Mostowski, A. 19 34 121 124 349 356 see
Mu function 111
Multiple formulations,equivalence to singular 219—224 250 271—275
Multiple prosequence 191
Multiple-valued logic 309
Myhill and Dekker 123
Myhill, J. 121 124 368
N formulation 261—262 278
N formulation, equivalence to other formulations 267—271
N systems 248
n-tuple elements 67
Nagel and Newman 19 121
Nagel, E. 10n. 19 121
Nagornii, N.M. 81 85
Natural induction 100
Natural language 30
Natural numbers 42
Natural numbers, nature of 11—12
Natural systems 248
NB 284
NC 284 287—288
nd 280
ne 280
Necessity operation 35
Necessity, analysis of 359
Necessity, formalization of 360
Necessity, H formulation of 366—367
Necessity, L system rules for 362—365
Necessity, L theory of 362
Necessity, T formulation of 365—366
Nectors 86
Negation 254—310
Negation operation 36 257ff.
Negation, analysis of 96 255ff.
Negation, classical 260—261 288—305
Negation, double 284 286
Negation, formalization of 257—261
Negation, H formulations of 283
Negation, intuitionistic 259
Negation, L systems for 261ff.
Negation, minimal 259 261 306
Negation, nature of 254—261
Negation, strict 260—261
Negation, T formulations of 280—283
Negative occurrence 216
Newman, J.R. 19 121 see
NI 280
NJ 280
NK 280 282
Nodes of tree diagram 40 102
Noether, E. 159
Nominalism 16 27
Nonconstructive epitheorem 95
Nondemonstrability 255
Nonderivability 333
Nonderivability in absolute implicative lattice 149
Nonderivability in absolute Skolem lattice 147
Nonderivability, intuitionistic 335 356
Nonderivability, LA 195
Nonderivability, LA* 335
Nondesarguesian geometry 2
Nonenumerable infinity 68
Nonmodular lattice 139
Nonstop commands 70
Normal algorithm see "Markov algorithm"
Normal construction sequence 41
Normal Form Theorem 111 308
Normal form, alternative and disjunctive 300
Normal form, conjunctive 300
Normal matrix 176
Notre Dame Journal of Logic 20
Noun 32—33
Novikov, P.S. 19 84
ns 284 307
Null class 252 316
Null domain 349
Null set of premises 252
Null system 316
Number theory,examples from 256
Numbers,natural 11 42
nw 284
Nx rule 260 262 279 326
O alphabet 51 79
O language 51 53
O letter 51 62
O sentence 171
O symbols 51
Ob extension 94
Ob system 54 86
Ob system, compared to syntactical system 60—63
Ob system, history of term 83 85
Object language 31
Object, noun and 33 see
OBS 54 171 182 311
Obs 0 and 1 138
Obs of  316
Occurrence in a statement 322
Occurrence in prosequences 321
Occurrence, defined 70n. 102
Occurrence, free and bound 318 321—322
Occurrence, of atoms, in propositions 318
Occurrence, of atoms, in terms 317—318
Ogaeawara, T. 162
Ogden and Richards 82
Ohnishi and Matsumoto 360 368
Ohnishi, M. 250
Onomatical system 92
Onomatics 92
Open-set interpretations 129
Operational extension 94
Operational rules 188 192
Operations 33
Operations, independence of 280
Operations, interpretation of 172—173
Operations, quasi-definable 292
Operators 33 86
Or as binary infixed connector 35 96
Order interpretation of logical algebras 128
Order of commands in algorithm 74
Ore, O. 162
Pantactic system 58
Paradoxes 3—8 26
PARAMETER 197
Parametric ancestor or descendant 199
Parametric constituents 197
Parenthesis 34
Parry, W.T. 368
Partial recursive definitional extension 109
Partially ordered sets 163
Partially ordered system 126
PB 183
PB' 183
PC 183
Pc axiom scheme 248
Pe rule 176 178 180
Peano postulates 24 45
Peano, G. 21—22 24 160—162
Peirce's law 147 157 182 193 195 238 248
Peirce, C.S. 123 158 160— 163 246 248 311n.
Perm (axiom scheme) 159 295
Permutability of inferences 206
Permutation rule 186 192
Peter, R. 123
Ph 344
Ph' 367
|
|
|
| Реклама |
|
|
|
|
|
О проекте