Логика суждений существования как средство представления знаний и автоматической проверки умозаключений

Строится формальная система, предназначенная для логического анализа суждений существования. В ее языке содержится неопределенно-местная константа существования, простые формулы образуются сочленением этой константы с произвольной конечной последовательностью общих терминов. Предлагается аналитико-табличный вариант этой логики, формулируется разрешающая процедура. Исследование выполнено в рамках научно-образовательной школы Московского государственного университета имени М.В.Ломоносова “Мозг, когнитивные системы и искусственный интеллект”.