Abstract:

In this article we continue series of our works for the study of various logical systems and their possible interpretation in the field of computer science (see 1,2 in ref.) . Our goal is to expand the results that were presented in the article (see 2 in ref.) . We also wish to show another look at the models with multivaluations that were presented in (see 3 in ref.). The main purpose of our work is to prove that the proposed logical system is decidable. At the end of the paper we will also provide an overview of the open problems and possible studies of such system.