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

Квазифункциональная (квазиматричная, недетерминистская, ограниченно детерминистская) логика базируется на принципе квазифункциональности, согласно которому во многих случаях между явлениями имеет место отношение частичной неопределенности. Эта логика представляет собой множество логических систем. Они отличаются типами высказываний, отношения по формам между которыми выражаются системой, а также типами логических терминов, входящих в высказывания. Логические системы заданы семантически. Для наглядности отношений между ними и облегчения их выбора для практического применения полезно построить логические системы аксиоматическим методом. В статье изложен результат сравнительного анализа аксиоматически построенных трехзначных и четырехзначных квазиматричных логик и их предельных случаев - матричных логик.

Литература
[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, рр. 200-204.
[5] Ivlev Yu.V. Quasi-matrix logic as paraconsistent logic of dubitable information. Logic and Logical Philosophy, 2000, vol. 8, рр. 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.