|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Об одной трехзначной параполной логикестатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Автор: Попов В.М.
- Журнал: Логические исследования
- Том: 9
- Год издания: 2002
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 175
- Последняя страница: 178
- Аннотация: Строится пропозициональная логика LAP, наделенная модифицированной семантикой обобщенных по Е.К.Войшвилло описаний состояния. Конструируется трехзначная характеристическая матрица для LAP, формулируется теорема о паранеполноте LAP, описывается секвенциальное исчисление, аксиоматизирующее эту логику, определяются операции, погружающие классическую пропозициональную логику в LAP.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | LI9_Popov.pdf | 81,8 КБ | 2 января 2015 [popov_vladimir_logic] |