Сравнительный анализ квазифункциональных логик

7 / 8

Сравнительный анализ квазифункциональных логик
Гуманитарный вестник # 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.
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:
[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.
Ивлев Юрий Васильевич — д-р филос. наук, профессор кафедры логики фило-
софского факультета МГУ имени М.В. Ломоносова, заслуженный профессор
МГУ, заслуженный работник Высшей школы РФ, лауреат Ломоносовской пре-
мии МГУ, академик РАЕН. e-mail: