Previous Page  7 / 8 Next Page
Information
Show Menu
Previous Page 7 / 8 Next Page
Page Background

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

Гуманитарный вестник

# 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