|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Погружение исчисления RM в его позитивный фрагментстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Карпенко И.А., Попов В.М.
- Журнал: Логические исследования
- Том: 10
- Год издания: 2003
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 94
- Последняя страница: 99
- Аннотация: Исчисление RM погружается в его позитивный фрагмент, т.е. во множество всех таких доказуемых в RM формул, ни в одну из которых не входит негация.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li_10_KarpenkoI_Popov.pdf | 138,7 КБ | 24 июня 2013 [popov_vladimir_logic] |