Фейс Р. — Модальная логика :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Фейс Р. — Модальная логика

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

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

Название: Модальная логика

Автор: Фейс Р.

Аннотация:

Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки естественных языков, экспертными и управляющими системами и т. д.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\L$ -множество      478
$\Lambda$ -функция      177
$\mathbf V$ -выражение      328
$\mbox{АФ}^1\mbox И$ (ассерторическое функциональное исчисление первого порядка)      38
$\mbox{МФ}^1\mbox И$ (модальная функциональная логика первого порядка)      170
$\mbox{МФ}^2\mbox И$ (модальная функциональная логика второго порядка)      170
$\mbox{МФ}^2\mbox К$ (модальная функциональная логика с равенством)      175
a-теорема      52
e-алгебра      491
e-алгебра замкнутая      491
e-алгебра нормальная      491
e-алгебра симметричная      491
e-алгебра транзитивная      491
F-выделенное множество подформул      379
F-полнота упорядоченной пары множеств подформул      379
Falsum-система      309
fp-преобразование (функциональное пропозициональное преобразование)      160
I-выражение      369
i-переменная      177
I-формула      364
IL-модель, индуцированная S4*- моделью      373
L-система      129
L-система Лукасевича      252 309
L-формулировка модальной системы      193
M*-модель      328
M*-общезначимость      330
M-модель      256
M-модельиая структура      256
Mop      213
N-система      132 442
N-элементарное выражение      391
Poccep      224 243 246
R-формулировка правил      278
S'''-образ      49
S''-образ      49
S''a-теорема      52
S'-образ      49
S'a-теорема      52
S*-полнота      334
S- (S'-, S"-, S'"-, s-) формула      46
S-(S'-, S"-, S'"-, s-) преобразование      49
S-непротиворечивость множества формул      407
S-образ      49
S-противоречивость множества формул      407
S-редукция дерева формул      409
S-формулировка правил      278
S4*-модель      328
S4*-общезначимость      330
S4-модель      256
S4-модельная структура      256
S5-модель      256
S5-модельная структура      256
Sa-теорема      52
T-система      132
T-теорема      79
Абрахам      204
Абстракт      177
Абстракт кратный      177
Абстракт, случай      178
Абстракция      177
Аддитивный идеал      489
Аккерман      32 33 204
Аксиома      32
Албан      158 204
Алгебра классов      19
Алгебра логическая      19
Альтернативное множество таблиц      229 262
Андера      427 501
Андерсон      132 133 143 150 204 205 300 302
Антецедент секвенции      132 193 362 428
Антилогизм      29
АПИ (ассерторическое пропозициональное исчисление)      24
Апостель      205
Аристотель      17 18 21
Ассерторическое высказывание      20
Ассоциативность дизъюнкции      29
Ассоциативность конъюнкции      28
Ассоциированная форма таблицы      280
Атомарная формула      40
АФИ (ассерторическое функциональное исчисление)      24
Байяр      205 257 302 501
Бак      205
Бакстер      501
Баркан      161 162 175 182—186 188 189 205 210 324 331 420 494 497 498 501 502
Барт      501
Бауш      114
Беккер      22 87 93 94 98 100 156 167 206 207
Беккер(-Фрайзенг)      18
Белнап      205 459 501
Беман      206
Беннет      206
Бергман      206
Бернайс      32 306
Бет      206 213 227 229 235 243 246 262 302 324 391—395 402 403 420 501
Бланше      206
Блюм      501
Болл      206
Борковский      206
Бохенский      206
Брауэр      404
Брауэрова ( = «антитбрауэрова») аксиома      144 255
Брауэрова модель      256
Брауэрова модельная структура      256
Брауэрова система      255 404—417
Бредли      207
Бронштейн      207
Бруггер      207
Брыль      507
Буль      207 422 485 501
Вайсберг      207 425 501
Василевская      502
Васильев      207
Вейль      207
Вичер      207
Возможность      17 24 63
Возможность высказывания      259
Вольф      207
Вспомогательная логика      42
Вулхауз      502
Вывод      32 189
Выводимость секвенции      363
Выводимость формулы      326 364
Выделенная модель      380
Выделенное значение      465
Выполнимость множества формул      376
Выполнимость формулы      257 384 402
Выполнимость формулы в области      226
Высказывание      226 296
Вычислимая функция      466
Габбай      486 502
Галлегер      265
Гарсон      502 507
Гастев, Ю.А.      11
Гемпель      207
Генкин      324 333 420
Генцен      193 277 279 337 340 343 420
Герцен      145
Гёделевский номер      305
Гёлель      23 207 327 476 478 490 502
Гётлинд      208
Гийом      208 257 302
Гильберт      32 33 306
Гич      208
Главная формула      429 445
Главная часть правила вывода      339
Главный символ формулы      40
Глубина элемента      311
Гобл      502
Гольдблат      502
Гэрдепфорс      456 502

Дайамонд      207
Даммет      207 298 301 302
Дани      502
Даниельссон      502
Дарбон      208
Двойная композиция      89
Двойственные формулы      75
Девис      208
Дерево      261
Дерево бинарное      349
Дерево вывода      194
Дерево индексов      349
Дерево индексов просто разветвленное      349
Дерево основное      349
Дерево редукций      352
Дерево редукций регулярное      352
Дерево формул      349
Детуш      208
Дизъюнкция      26 67
Дилемма      31
Дистрибутивность дизъюнкции относительно конъюнкции      29
Дистрибутивность кванторов относительно импликации и эквивалентности      39
Дистрибутивность кванторов относительно конъюнкции и дизъюнкции      39
Дистрибутивность конъюнкции относительно дизъюнкции      28
Дистрибутивность модальностей относительно конъюнкции и дизъюнкции      48
Дистрибутивность модальностей относительно условных связок      48
Доказательство от противного      31
Допп      10
Допустимость модели для формулы      330 376
Допустимый вывод      340
Достижимость (для «миров» в моделях Крипке)      258
Доусон      156 208
Драббе      490 502
Древовидная (древесная) модельная структура      261
Древовидная модель      311 395
Древовидное (древесное) отношение      261
Дрейк      207 306 502
Дугунджи      86 97 208 490 502
Дьюкан-Джонс      208
Единственный редукт дерева формул      351
Ёнэмоцу      136 150 208
Заключение      326
Замкнутая конструкций      230
Замкнутая таблица      230
Замкнутое дерево редукции      353 410
Замкнутое множество таблиц      230
Зарнецкая-Бялы      503
Земан      209 476 503
Знак возможности      63
Знак необходимости      63
Значение выделенное      36
Значение истинностное      25 36
Значение матрицы      36
Значение предложения      36
Идемпотентность дизъюнкции      29
Идемпотентность конъюнкции      29
Импликативные фрагменты модальных систем      457—465
Импликации (строгие) между модальностями      108
Импортация      31
Интерпретируемость пары множеств формул      383
Интуиционистская логика высказываний      378
Интуиционистская логика предикатов      361—373
Интуиционистская общезначимость формулы      376
Интуиционистское исчисление высказываний      466
Исимото      111 136 145 209 503
Истина      25
Истинностная таблица      26 36
Истинностная функция      25
Истинностное значение      25
Истинность формулы в модели      226 257 330 384 402
Истинность формулы в топологической модели      417
Исчисление классов      40
Исчисление предикатов      24
Исчисление предикатов одноместное      40 44—45
Ито      209
Йонссон      11 209 257 302
Калиновский      209
Калмар      243
Кангер      197 199 201 203 209 257 279 302 437 438
Канти      503
Каплан      503
Карнап      23 209 245 246
Карри      24 129 130 132 209 223 228 246 257 277 279 302 309 323
Кастаньеда      209 503
Катон      210
Катцов      210
Квантор всеобщности      24
Квантор существования      24
Кванторная интерпретация модальной логики      42
Кванторные правила вывода      363
Кванторные расширения модальных систем      494
Кёниг      273 357
Килькопф      503
Клини      224 243 245 246 429 430 503
Кокьярелла      503
Коммутативность дизъюнкции      29
Коммутативность конъюнкции      28
Композиция дизъюнкций      31
Композиция конъюнкции      31
Конечная выполнимость формулы      386 402—403
Конечная общевыполнимость формулы      386 402
Конечная общезначимость формулы      386 402
Контрапозиция      29
Контрмодель      263
Концевая точка дерева индексов      349
Концевое дерево      352 410
Конъюнкция      26 65
Корень (начало) дерева      261 312
Коши      210
Краускопф      503
Крейг      305 323
Крессвелл      10 487 504 509
Крипке      9—12 210 247 249 251 253—255 258—263 265 271 278 283 285 296 300 302 304 306 308 310—316 320—324 327 378 391 393—395 403 411 421—424 428 434 437 438 454 459 461 477 478 480—483 486 487 490—498 500 504
Куайн      38 182 185 210 246
Кубинский      210
Ламберт      504
Леблан      504
Лемма о корректности      330
Леммон      86 98 111 135 145 156 164 208 210 211 298 300—302 307 309 320 323 477 478 483 485 488 504
Леонард      132 133
Лёб      211
Лёвенгейм      235 249
Линденбаум      306 478 488
Логика Principia Mathematica      21
Ложность формулы в модели      257
Ложь      25
Лоренцен      211
Лукасевич      144 211.253
Лукхардт      504
Льюис      9 15 20 21 23 50 57 58 60 61 83 103 110 144 160—162 164 165 207 209 211 216 217 219 223 244—246 255 256 297 302 320 322—325 327 403 404 421 457 487
Лэнгфорд      15 20 60 61 83 110 144 160—162 164 209 211 216 217 223 244—246 255 256 297 298 302 320 322 323 421
М''ПИ (модальная пропозициональная логика)      46
М''ПК (кванториая интерпретация модальной пропозициональной логики)      42
М''ПКИ (исчисление, использующее символику М''ПИ и дедуктивно эквивалентное М'ПК)      46
Майхилл      211
Макинсон      478 480 505
Маккинси      10 11 15 22 23 60 97 132 150 154 15 207 212 257 300 302 303 421 493 505
Макколл      9 20 212
Максимальная S-непротиворечивость множества формул      407
Максимальная непротиворечивость пары множеств формул      383
Максимальное вхождение секвенции в доказательство      447
Маргенау      212
Масси      505
Материальная импликация      26 68
Материальная эквивалентность      26
Матрица      36
Матрица регулярная      489
Матрица слабо регулярная      489
Мацумото      193 194 197 212 213 257 279 295 302 303 434 506
Мейер      423 504 505

1 2 3

О проекте