|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lwстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 22 ноября 2015 г.
- Авторы: Karpenko A.S., Popov V.M.
- Журнал: Bulletin of the section of logic
- Том: 26
- Номер: 3
- Год издания: 1997
- Первая страница: 112
- Последняя страница: 117
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 26_3_1.pdf | 103,7 КБ | 7 июня 2015 [popov_vladimir_logic] |