Логические исследования. Выпуск 13 Карпенко А.С.
описание
звоните нам с 9:00 до 19:00
 

Логические исследования. Выпуск 13

Оценки: 4.8 5 20
от

Хорошо и качественно
Логические исследования. Выпуск 13
Количество:
  
-
+
Цена: 129 
P

В корзину
В наличии
Артикул: 00203232
Автор: Карпенко А.С.
Издательство: Наука (все книги издательства)
Место издания: Москва
ISBN: 5-02-035152-0
Год: 2006
Переплет: Твердый переплет
Страниц: 308

Cкачать/полистать/читать on-line
Показать ▼

Развернуть ▼

В данный сборник "Логических исследований" включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. В первую очередь это относится к интуиционистской логике, непрерывной логике, логике знаний, логике направленности и изменения, модальной логике, логике аргументации и таким новым направлениям, как логика альтернативного отношения следования и универсальная логика. Исследуется также агоритмическая проблематика.
Для логиков, философов, математиков и всех тех, кто интересуется ее различными приложениями
Введение
В настоящей статье мы предлагаем новый общий метод доказательства разрешимости интуиционистских модальных логик. Этот метод опирается на доказываемое в настоящей работе обобщение результата Ганцингера, Мейера и Вианеса (см. [10]) о том, что двухпеременный монадический защищенный фрагмент GF^n классической первопорядковой логики, в котором на некоторое отношение, встречающееся в защитниках, наложено условие, выразимое как условие замкнутости, определимое в монадической второпорядковой логике, разрешим. Мы обобщаем этот результат на случай, когда условия упомянутого вида накладываются на более, чем одно отношение. Такое обобщение позволяет нам доказать разрешимость широкого класса интуиционистских модальных систем путем их погружения в этот раз решимый фрагмент. Общие результаты о разрешимости и свойстве конечной модели интуиционистских модальных логик были доказаны в [23], [24] и [25] путем погружения интуиционистских модальных логик с п модальностями в классические модальные логики сп + 1 модальностями, называемые классическими напарниками интуиционистских логик. Однако эти результаты могут быть использованы только для доказательства разрешимости тех интуиционистских логик, разрешимость классических напарников которых уже установлена.
от Аноним

Хорошо и качественно

Пожалуйста, оставьте отзыв на товар.

Что бы оставить отзыв на товар Вам необходимо войти или зарегистрироваться
Все права защищены и охраняются законом. © 2006 - 2019 CENTRMAG
Рейтинг@Mail.ru