Mathematical logic models for decision support systems in the case of incomplete information
А. С. Балюк, A. I. Gaidukov, Nikolay A. Peryazev, Yu. V. Peryazeva · 2015
The notion of multi-algebra is introduced for mathematical modelling of systems in the case of incomplete information. The first-order logic with countable interpretations are used to investigate multi-algebras.