Основные квазиматричные логики

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

Литература
[1] Ивлев Ю.В. Табличное построение пропозициональной модальной логики. Вестник Московского университета. Серия 7: Философия, 1973, № 6, с. 51-61.
[2] Ivlev Yu.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.
[3] Ivlev Yu.V. Quasi-matrix logic as paraconsistent logic of dubitable information. Logic and Logical Philosophy, 2000, vol. 8, рр. 91-97.
[4] Ivlev Yu.V. Quasi-matrix logic. Journal of Multiple-Valued Logic and Soft Computing. Old City Publishing, Inc. (United States), 2005, vol. 11, no. 3-4, рр. 239-252.
[5] Ivlev Yu.V. Generalization of Kalmar’s method for quasi-matrix logic. Логические исследования, 2013, т. 19, с. 281-307.
[6] Rescher N. Many-valued logic. New York, McGraw-Hill, 1969, 359 р.
[7] Ивлев Ю.В. Содержательная семантика модальной логики. Москва, Издательство Московского университета, 1985, 168 с.
[8] Ивлев Ю.В. Модальная логика. Москва, Издательство Московского университета, 1991, 224 с.