Basic quasi-matrix logics

Possibilities of applying matrix logics outside the scope of logics are known. They are relay-contact schemes and abstract automata. In case of applying matrix logics to the description of the abstract automata, dependencies of input automata signals on its output conditions and actions are expressed by means of functions. Quasi-matrix logics makes it possible to express these dependences using quasi-functions. Since a function is a particular case of a quasi-function, there appears a possibility of developing new kinds of automata applicable to a broader range of problems. However, since the decision problem of quasi-matrix logics is not still solved, quasi-matrix logics cannot be used in the considered area. The solution of this problem is given in the article.

References
[1] Ivlev Yu.V. Vestnik Moskovskogo Universiteta. Seriya 7: Filosofiya - Bulletin of Lomonosov Moscow State University. Series 7: Philosophy, 1973, no. 6, pp. 51-61.
[2] Ivlev Yu.V. Filosophie und Logik. Frege-Kolloquien Jena 1989/1991. Herausgegeben von Werner Stelzner. Walter de Gruyter, Berlin. New York, 1993, pp. 200-204.
[3] Ivlev Yu.V. Logic and Logical Philosophy, 2000, vol. 8, pp. 91-97.
[4] Ivlev Yu.V. Journal of Multiple-Valued Logic and Soft Computing, 2005, vol. 11, no. 3-4, pp. 239-252.
[5] Ivlev Yu.V. Logical investigations, 2013, vol. 19, pp. 281-307.
[6] Rescher N. Many-valued logic. New York, McGraw-Hill, 1969, 359 р.
[7] Ivlev Yu.V. Soderzhatelnaya semantika modalnoy logiki [Contentive semantic of modal logics]. Moscow, Moscow Univ. Publ., 1985, 170 p.
[8] Ivlev Yu.V. Modalnaya logika [Modal logics]. Moscow, Moscow Univ. Publ., 1991, 224 p.