Логика суждений существования и силлогистикастатьяИсследовательская статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 8 апреля 2022 г.
Аннотация:В статье строится формальная система, предназначенная для логическогоанализа суждений существования. Демонстрируется рекурсивная эквивалентность логики сужденийсуществования и силлогистики с неопределенно-местной константой, которая являетсяобобщением силлогистической константы a.В статье также доказываются метатеоремы осемантической непротиворечивости и полноте исчисления суждений существования.