Финитная аппроксимируемость как достаточное условие разрешимости по допустимости для транзитивных модальных и суперинтуиционистских логик
Автор: Руцкий Алексей Николаевич
Журнал: Вестник Красноярского государственного педагогического университета им. В.П. Астафьева @vestnik-kspu
Рубрика: Математика
Статья в выпуске: 3 (11), 2009 года.
Бесплатный доступ
В статье приведено доказательство разрешимости для допустимых правил вывода любой транзитивной модальной логики, обладающей свойством финитной аппроксимируемости. С учетом перевода Геделя-Маккинси-Тарского обоснована разрешимость по допустимости и для любой финитно аппроксимируемой суперинтуиционистской логики.
Модальные логики, правило вывода, финитные модели
Короткий адрес: https://sciup.org/144152996
IDR: 144152996
Список литературы Финитная аппроксимируемость как достаточное условие разрешимости по допустимости для транзитивных модальных и суперинтуиционистских логик
- Бабенышев С.В. Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.Grz//Алгебра и логика. 1992. Т. 31. № 4. С. 341-359.
- Крипке С.А. Семантический анализ модальной логики. I, II//Модальная логика. М.: Наука, 1974. С. 254-323.
- Максимова Л.Л., Рыбаков В.В. О решетке нормальных модальных логик//Алгебра и логика. 1974. Т. 13. № 2, С. 105-122.
- Руцкий А.Н. Критерий допустимости правил вывода с метапеременными в модальной логике S4.m//Сибирский математический журнал. 2006. Т. 47.
- Руцкий А.Н. Разрешимость по допустимости модальной логики S4.m.p.q//Вестник КГПУ им. В.П. Астафьева. 2006 (3). С. 102-118.
- Рыбаков В.В. Критерий для допустимых правил вывода модальной системы S4 и интуиционистской логики//Алгебра и логика. 1984. Т. 23. № 5. С. 369-384.
- Рыбаков В.В. Допустимые правила логик, содержащих S4.3//Сибирский математический журнал. 1984. Т. 25. № 5. С. 141-145.
- Рыбаков В.В. Критерий допустимости правил вывода с параметрами в интуиционистской пропозициональной логике//Известия АН СССР. (Серия математическая). 1990. Т. 54. № 6. С. 357-377.
- Циткин А.И. О допустимых правилах интуиционистской логики высказываний//Математический сборник. 1977. Т. 102. № 2. С. 314-323.
- Chagrov A., Zakhariaschev M. Modal logics. London, Cambridge Press, 1997. 589 p.
- Rutskiy A. N. Decidability of Modal Logics S4n, S4n, w.r.t. Admissible Inference Rules//Bulletin of the Section of Logic. 2001. V.30. № 4. Р. 181-189.
- Rybakov V.V. Admissibility of logical inference rules. Elseiver Sci.Publ., North-Holland. New-York; Amsterdam, 1997.
Статья научная
