|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Секвенциальная аксиоматизация и семантика I-логик васильевского типастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Автор: Попов В.М.
- Журнал: Логические исследования
- Том: 22
- Номер: 1
- Год издания: 2016
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 32
- Последняя страница: 69
- Аннотация: Изучаемые в статье I-логики васильевского типа были найдены в процессе экспликации некоторых идей российского логика и философа Николая Александровича Васильева, лежащих в основе его "воображаемой логики". Целью статьи является демонстрация того, как конструировать простые и удобные для поиска доказательства секвенциальные аксиоматизации I-логик васильевского типа и как строить интуитивно ясные двузначные семантики, адекватные этим логикам.
- Добавил в систему: Маркин Владимир Ильич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li22_1_Popov.pdf | 365,2 КБ | 12 июня 2016 [markin_vladimir] |