Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Curry H.B. — Foundations of Mathematical Logic
Curry H.B. — Foundations of Mathematical Logic



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Foundations of Mathematical Logic

Автор: Curry H.B.

Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 417

Добавлена в каталог: 11.03.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Lattice(s), special elements of      138—139
Lattice-ordered groups and semigroups      163
Law of forms      301n.
lc      189—190 277
LC*      312 321
LC, completeness of      224
LD      260—263 279
LD*      321 323 330 332
LE      260—263 277 279
LE*      321 330
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.      4n.
Lemmon, E.J.      368
Lesieur, L.      see "Dubreil-Jacotin et al."
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, inversion principle      173
Lorenzen, P.      19 22 25 27 83 97 124 160 173 243 245 247 253
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 recursiveness      82
Markov algorithm, equivalence, to Turing machine      82
Markov algorithm, reduction to (semi)shuttlealgorithm      70 78
Markov's thesis      70n. 123
Markov, A.A.      28 81—82 84
Markwald, W.      19 see
Martin, R.      82 90
Mathematical logic      see also "Logic"
Mathematical logic, defined      2
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 34n. 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
NB'      284 287
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      35 251ff.
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
NI'      284
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      175
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 $\mathfrak{G}$      316
Occurrence, defined      70n. 102
Occurrence, free and bound      318 321—322
Occurrence, in a statement      322
Occurrence, in prosequences      321
Occurrence, of atoma, in propositions      318
Occurrence, of atoma, in terms      317—318
Ogasawara, T.      162
Ogden and Richards      82
Ohnishi and Matsumoto      360n. 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
1 2 3 4 5 6
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте