11 / 11
Основные квазиматричные логики
Гуманитарный вестник
# 10·2016 11
Basic quasi-matrix logics
© Yu.V. Ivlev
Lomonosov Moscow State University, Moscow, 119991, Russia
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 out-
put 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.
Keywords:
matrix logics, quasi-matrix logics, quasi-function, semantic completeness,
decidability of calculus
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.
Ivlev Yu.V
., Dr. Sci. (Philos.), Professor, Faculty of Philosophy, Department of Logics,
Professor Emeritus of Lomonosov Moscow State University, Honorary Figure of Russian
Higher Education, Lomonosov Moscow State University Award Winner, Member of the
Russian Academy of Natural Sciences. e-mail:
ivlev.logic@yandex.ru