|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On Logical Researches of N.P. Brusentsovстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 6 декабря 2018 г.
- Автор: Vladimirova Yulia
- Сборник: Selected Papers 2017 Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM), 3-5 October 2017 Zelenograd, Russia
- Год издания: 2017
- Место издания: CPS
- Первая страница: 224
- Последняя страница: 226
- DOI: 10.1109/SoRuCom.2017.00042
- Аннотация: In Brusentsov's works on ternary logic the essence of fundamental logical relation, the consequence, was revealed and the possibility of its complete expression in the ternary logic was studied. The consequence is represented in Aristotle's syllogistics as common premise "All x are y". But Aristotle's syllogistics cannot be fully mapped to the modern binary logic. Brusentsov considered approach to algebraization of syllogistics. Revisiting Aristotle logic is both a step towards development of artificial intelligence, as well as a means for this development.
- Добавил в систему: Владимирова Юлия Сергеевна