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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Менор      507
Мередит, Д.      211
Мередит, К.      211 212 457 464 505
Месхи, В.Ю.      505
Метапеременная      255
Метатеорема      76
Метод фильтрации      483
Мини, Г.Е.      11 12 224 238 277 306 422 427 437 441 477 498 501 505
Множество Линденбаума      478
Множество ситуаций      329
Мо Шао-куй      165
Модализация      404
Модализированная формула      425 457
Модальная интерпретация логических операций      19—20
Модальная логика как расширение АПИ      42
Модальная степень формулы      286 425
Модальная функция      140
Модальное выражение      178
Модальное высказывание      20
Модальное значение высказывания      296
Модальное исчисление высказываний      254
Модальное исчисление предикатов      247
Модальное исчисление предикатов с равенством      499
Модальность      17 62
Модальность отрицательная      63*
Модальность собственная      63
Модальность упрощенная      106 115
Модальность утвердительная      63
Модель      20 328
Модель Бета      391
Модель брауэрова      256
Модель Кринке      20 478—487
Модель формулы      225
Модельное множество формулы      382
Моисил      212
Монтгомери      476 506
Монтегю      213 476 486 487 505
Монтейро      213
МФК (кванториая интерпретация модальной функциональной логики)      170
МФК без оператора абстракции      170
Надчеркнутая формула      437
Называющая форма      325
Называющий знак      325
Накамура      213 506
Нат      506
Натуральный вывод      193
Начальный шаг построения (начальная стадия конструкции) таблицы      235
Независимость аксиом      37
Нелсон      213
Необходимость      17 24
Непротиворечивость системы аксиом      37
Непротиворечивость упорядоченной пары множеств формул      379 383
Неравенство      192
Неслучайность      476
Нико      111
Нил      213
Ниланд      213 501 506
Нить дерева      357
Нормализация правила      168
Нормализация схемы аксиом      168
Нормальная матрица      97 298
Нормальная модель      256
Нормальная модельная структура (п. м. с.)      256
Нормальная система      168 254
Нормальная таблица      312
Нормальная форма      464
Нормальное доказательство      447
Нормальное расширение системы      453
Область индивидов      329
Обобщенная теорема о полноте      383
Образ секвенции      450 459 463 464
Общая импликация      180—181
Общая эквивалентность      180—181
Общевыполнимость формулы      385 402
Общее предложение      178
Общезначимость формулы      226 257 384 402 465 477
Объем дерева формул      352
Ограничение модели      375
Одноместное $\mbox{АФ}^1\mbox И$       40
Одноместное модальное исчисление предикатов      248
Оквист      213
Описи      193 194 212 213 257 279 295 302 303 434—436 506
Опровержимая формула      245
Оревков В.П.      11 499 506
Основная семантическая лемма      357—361 410
Основная синтаксическая лемма      353—357 410
Основная теорема Генцена (об устранимости сечения, о нормальной форме)      340 343
Основное правило вывода      363
Отношение родства      429
Отрицание      26 66
Отрицание модальностей      73
Отрицательная часть формулы      337
Оценка      256
Пап      214
Парри      23 62 86 99 103 109 115 117 152 154 214
Перевод секвенции      438 441
Перевод таблицы      438
Пледжер      506
Погожельский      214
Погружение систем      361—373
Подтаблица      229
Подчинение      39
Позитивная (положительная) логика      306
Полиферно      214 251-253
Поллок      427 506
Полное приписывание (полная оценка)      224
Полнота в смысле Поста      481
Положительная часть формулы      337
Порт      166 168 169 214 309
Порядок вхождения формулы в секвенцию      462 463
Порядок секвенции      462
Пост      481
Постулат      32
Постулаты равенства      189
Постулаты универсальной возможности      157
Посылка      326
Потомок      271
Потомок непосредственный      271
Правило      33
Правило $\Lambda l$       229
Правило $\Lambda r$       229
Правило $\Pi l$       229
Правило $\Pi r$       229
Правило Il      229
Правило N1      228
Правило Nr      229
Правило Yl      229
Правило Yr      229
Правило Беккера      87 93—94
Правило введения      445
Правило вывода      326.
Правило выводимое (производное)      34 63
Правило дедукции      40
Правило дедукции для модальностей      48
Правило замены материально эквивалентных      35 118
Правило замены строго эквивалентных      121
Правило обобщения      38
Правило образования      45
Правило ослабления      342 362
Правило отделения      32 34
Правило отделения для строгой импликации      59
Правило перестановки      193 341
Правило подстановки      32 33 341
Правило сечения      193 343
Правило синтаксическое      193
Правило соединения      59
Правило сокращения      193 342 362
Правило структурное      193
Правило удаления      445
Правило утончения      193

Правиц      421 424 443 447 449 450 506
Прайор      136 144 145 185 186 210 214 215 224 246 255 296 301 303 310 323 454 457 464 505
Предложение      45 173
Предложение атомарное      173
Предложение молекулярное      173
Предок      429
Прикладное ассерторическое исчисление      44
Применение правила      363
Принцип исключенного третьего      28
Принцип обратной подстановки      161
Принцип противоречия (отрицания противоречия)      28
Принцип тождества      28 64
Произведение секвенций      430
Пропозициональная переменная      159 254 325
Пропозициональная функция      177
Пропозициональное правило вывода      363
Противоречивость множества формул      376
Пруциал      506
Пуарье      215
Пустой класс (случаев)      179 180 182
Равенство      189
Равенство материальное      190
Равенство строгое      190
Равенство, выражение посредством универсальной импликации      190
Равенство, экзистенциального предложения      190
Разрешающая процедура      195—197
Разрешающий алгорифм      382
Разрешения проблема      251
Разрешимость      286
Ранг дерева формул      352
Расёва      215 493 506
Рассел      32 260 303
Расширение упорядоченной пары множеств подформул      379
Раутли      424 476 480 482 485 506 507
Редукционная пара дерева формул      351
Редукция (сведение) модальностей      96 103 106
Редукция дерева формул      350 351
Редукция дерева формул сильная      351
Редукция дерева формул слабая      351
Редукция дерева формул собственная      351
Рекурсивная аксиоматизируемость      305
Ренни      507
Репар      206
Рефлексивность      328
Решер      507
Риддер      212 216
Робинсон      215
Росс      215
Роуз      215
Рубин      216
Саито      507
Саймонс      110 111 124 143 150 216
Санчес-Масас      216
Сатр      507
Свойство Холдена      304—306
Связная контрмодель      260
Связная модель      260 311
Связная модельная структура      260
Сегерберг      478 480 481 483 485 507
Секвенция      193 362 428 438 443
Семантика Бета      391—403
Семантика Крипке      373—390
Семантика Монтегю      486—487
Семантика таблица      228 262—278
Семантическая Общезначимость      376
Семантическое следование      228
Сикорский      493 506
Силлогизм      30
Силлогизм полный      31
Силлогистический вывод сложный      71
Сильное отрицание      255
Система       165
Система $S1^{\circ}$ (система $1^{\circ}$ )      59
Система $S2^{\circ}$ (система $2^{\circ}$ )      86
Система       189
Система       151
Система $S4^{\circ}$       137
Система $T^{\circ}$       146
Система $\nu Sa$       169
Система $\nu Sb$       169
Система $\nu Sc$       169
Система $\nu\rhoSa$       169
Система $\nu\rhoSc$       169
Система $\nu\rho\nu Sa$       169
Система $\nu\rho\nu Sc$       169
Система $\rho Sa$       169
Система $\rho Sb$       169
Система $\rho Sc$       169
Система $\rho\nu Sa$       169
Система $\rho\nu Sc$       169
Система $\rho\nu\rho Sa$       169
Система $\rho\nu\rho Sc$       169
Система B (базисная)      165
Система E5      309
Система F      248
Система IL      361
Система LKY      129-130
Система M      404—417
Система M'      337
Система M*      196 325
Система MQ      247
Система N-S3      453
Система NS2      453
Система NS5      444
Система NT      452
Система P1      86
Система P2      98 320
Система P3      320
Система P4      135
Система Q2      193
Система Q3      195
Система S1(система 1)      22 83
Система S2(система 2)      22 87
Система S2’ (система 2’)      137 147
Система S3(система 3)      21 99
Система S4'      337
Система S4(система 4)      22 403—420
Система S4*      196 197 325
Система S5 (система 5)      22 137 224 404—417
Система S5*      196 199 224
Система S5*=      224
Система Sa      169
Система Sb      169
Система Sc      169
Система T      147
Система T*      146
Система каноническая      167
Система логистического типа      442
Система натурального (естественного) вывода      442
Система натурального типа      442
Система ненормальная      304
Система нормальная      168 254
Системы Льюиса      20
Скотт      478 483 485 507
Скроггс      146 216 453 456 507
Скулем      235 249
Слабая общезначимость формулы      491
Слабо эпистемическая алгебра      494
Сломсон      499 507
Слупецкий      214 507
Случайное выражение      177
Случайность      145 476
Смайли      216 257 306
Смит      216
Смолян      216 507
Собочинский      98 112 137 142—144 146—148 150 151 216 507
Собственная переменная правила вывода      339
Собственное расширение системы      145 453
Согласованные списки формул      463
Сокращенное исчисление МФИ      175

1 2 3

О проекте