|
Автоматика и телемеханика, 1983, выпуск 7, страницы 97–104
(Mi at5177)
|
|
|
|
Моделирование поведения и интеллекта
О выявлении противоречий в формальных теориях. II
Л. И. Розоноэр Москва
Аннотация:
В продолжение статьи [1] рассматриваются логические исчисления, в которых возможны доказательства противоречивости. Строится классический язык первого порядка LPCont, языком-объектом которого является PCont, а формализованным метаязыком - классическая логика. Рассматриваются некоторые расширения языка LPCont, а также устанавливается его связь с логикой $B_3$ Д.А. Бочвара [2]. В заключение затрагиваются некоторые более широкие аспекты логики противоречивых систем (в частности, проблема логических парадоксов).
Поступила в редакцию: 11.03.1982
Образец цитирования:
Л. И. Розоноэр, “О выявлении противоречий в формальных теориях. II”, Автомат. и телемех., 1983, № 7, 97–104; Autom. Remote Control, 44:7 (1983), 908–914
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at5177 https://www.mathnet.ru/rus/at/y1983/i7/p97
|
Статистика просмотров: |
Страница аннотации: | 140 | PDF полного текста: | 106 | Первая страница: | 1 |
|