Тема: ПРАВИЛА ВЫВОДА С МЕТАПЕРЕМЕННЫМИ И ЛОГИЧЕСКИЕ УРАВНЕНИЯ В ТАБЛИЧНЫХ И ПРЕТАБЛИЧНЫХ МОДАЛЬНЫХ ЛОГИКАХ
Характеристики работы
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
📋 Содержание
1 Предварительные сведения 4
2 Случай табличных модальных логик 8
3 Случай предтабличных модальных логик PM2 - PM5 10
4 Случай предтабличной модальной логики PM1 15
ЗАКЛЮЧЕНИЕ 28
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 29
📖 Введение
1) с ней тесно связана проблема выводимости в логике А;
2) она сводится к проблеме разрешимости логики А по допустимости для правил вывода с параметрами.
Распознаваемость разрешимости логических уравнений впервые была отмечена В.В. Рыбаковым для модальной логики S4, интуиционистской логики Int, для модальных логик S и GL, аксиоматизирующих доказуемость и других [4], [5].
В представленной работе положительно решается вопрос о распознаваемости разрешимости логических уравнений с параметрами в табличных и предтабличных локально-конечных модальных логиках PM2-PM5, расширяющих логику S4.
✅ Заключение
1. В табличных модальных логиках разрешимость логических уравнений распознаваема;
2. Табличные модальные логики разрешимы по допустимости для правил вывода с параметрами;
3. В предтабличных модальных логиках PM2-PM5 разрешимость логических уравнений распознаваема.;
4. Предтабличные модальные логики PM2-PM5 разрешимы по допустимости для правил вывода с параметрами;
5. Существует алгоритм, распознающий разрешимость логических уравнений для предтабличной модальной логики PT1;
6. Для предтабличной логики PT1 существует алгоритм, распознающий допустимость правил с параметрами.
Полученные результаты имеют теоретическое значение и могут быть использованы в исследованиях по нестандартным логикам.