Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems

The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great complexity. The problem of reconstructing variants of propositional logic based on structures whose elements are considered as truth values of formulas...

Ausführliche Beschreibung