Формальная реконструкция традиционной сингулярной негативной силлогистикистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
Аннотация:Формулируется язык и строится исчисление для адекватной современной экспликации традиционной силлогистики с сингулярными и отрицательными терминами. Доказывается метатеорема о погружаемости данного исчисления в некоторое расширение классического исчисления предикатов с равенством.