Обобщенные аналитические таблицы для нормальной модальной K-системы логики направленности изменения

Н. И. Стешенко

Аннотация


Обобщенные аналитические таблицы для нормальной модальной K-системы логики направленности изменения.

Полный текст:

PDF

Литература


Стешенко Н. И. Нормальная K-система логики направленности изменения (синтаксический аспект). Логико-философские штудии, 2018, т. 16, № 1–2, с. 125–126.

Стешенко Н. И. Логика направленности изменения: нормальная модальная K-система. Логика, методология, науковедение: интеллектуальные практики, стратегии и паттерны. Материалы всероссийской конференции (Ростов-на-Дону, 16–19 мая 2019 г.). В 2-х т. Т. 1. 2019, с. 104–106.

Стешенко Н. И. Семантика K-нормальной модальной логики направленности изменения. Теорема корректности. Одиннадцатые Смирновские чтения. Материалы международной научной конференции, 19–21 июня 2019 г., Москва. 2019, с. 83–86.

Стешенко Н. И. Аналитические таблицы для пропозициональной логики Роговского. Логические исследования. Вып. 15. М.: Наука, 2009, с. 185–219.

Hähnle R. Towards an efficient tableau proof procedure for multiple-valued logics. Computer Science Logic 4th Workshop, CSL ’90, Heidelberg, Germany, October 1–5, 1990. Springer: 1990, рр. 248–260.




DOI: https://doi.org/10.52119/LPHS.2024.50.23.007

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 Н. И. Стешенко

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.