Сравнительный анализ квазифункциональных логик
Гуманитарный вестник
# 11·2017 7
В
последние годы за рубежом наблюдается интерес к квази-
функциональной логике (чаще всего называемой также недетерми-
нистской логикой, логикой без возможных миров). В ряде работ [11,
12] излагаются логические системы, построенные автором настоящей
статьи , а также создаются новые логические системы этого же типа
(
Ivlev-like systems
) [11].
Сравнительный анализ систем, построенных
автором, и этих новых систем еще не производился.
Исследование выполнено при финансовой поддержке РГНФ
в рамках научного проекта № 15-03-00372
ЛИТЕРАТУРА
[1]
Ивлев Ю.В. Табличное построение пропозициональной модальной логики.
Вестник Московского университета. Сер. 7: Философия
, 1973, № 6, с. 51–61.
[2]
Ивлев Ю.В.
Содержательная семантика модальной логики
. Москва,
Издательство Московского университета, 1985, 168 с.
[3]
Ивлев Ю.В.
Модальная логика
. Москва, Издательство Московского
университета, 1991, 224 с.
[4]
Ivlev Ju.V. Quasi-Functional Logic and Logic of Propositional Attitudes.
Filosophie und Logik. Frege-Kolloquien Jena 1989/1991. Herausgegeben von
Werner Stelzner. Walter de Gruyter
. Berlin, New York, 1993, pр. 200–204.
[5]
Ivlev Yu.V. Quasi-matrix logic as paraconsistent logic of dubitable information.
Logic and Logical Philosophy
, 2000, vol. 8, pр. 91–97.
[6]
Ivlev Yu.V. Quasi-matrix logic.
Journal of Multiple-Valued Logic and Soft Computing ,2005,
vol.
11, no. 3–4, рр. 239–252.
[7]
Ivlev Yu.V. Generalization of Kalmar's method for quasi-matrix logic.
Логические исследования
, 2013, т. 19, с. 281–307.
[8]
Карпенко А.С.
Развитие многозначной логики
. Москва, URSS, 2010, 444 с.
[9]
Клини С.
Введение в метаматематику
. Москва, Изд-во иностранной
литературы, 1957, 526 с.
[10]
Ивлев Ю.В. Основные квазиматричные логики.
Гуманитарный вестник,
2016, вып. 10. URL:
http://dx.doi.org/10.18698/2306-8477-2016-10-391[11]
Marcelo E. Coniglio, del Cerro L.F., Peron N.M.
Research article. Finite non-
deterministic semantics for some modal systems.
Journal of Applied Non-
Classical Logic
, 2015, vol. 25, no. 1, pp. 20–45.
[12]
Omori H., Skurt D. More Model Semantics Without Possible Worlds.
IFCoLog
Journal of Logics and their Applications
, 2016, vol. 3, no. 5, pp. 815–846.
Статья поступила в редакцию 19.06.2017
Ссылку на эту статью просим оформлять следующим образом:
Ивлев Ю.В. Сравнительный анализ квазифункциональных логик.
Гуманитар-
ный вестник
, 2017, вып. 11.
http://dx.doi.org/10.18698/2306-8477-2017-11-486Ивлев Юрий Васильевич
— д-р филос. наук, профессор кафедры логики фило-
софского факультета МГУ имени М.В. Ломоносова, заслуженный профессор
МГУ, заслуженный работник Высшей школы РФ, лауреат Ломоносовской пре-
мии МГУ, академик РАЕН. e-mail:
ivlev.logic@yandex.ru