|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Syntax and semantics of simple paracomplete logicsстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Popov V.M., Shangin V.O.
- Журнал: Логические исследования
- Том: 19
- Год издания: 2013
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 325
- Последняя страница: 334
- Аннотация: For an arbitrary fixed element β in {1; 2; 3; ...; ω} both a sequent calculus and a natural deduction calculus which axiomatise simple paracomplete logic I2;β are built. Additionally, a valuation semantic which is adequate to logic I2;β is constructed. For an arbitrary fixed element γ in {1; 2; 3;...} a cortege semantic which is adequate to logic I2;γ is described. A number of results obtainable with the axiomatisations and semantics in question are formulated.
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | LI19_Popov_Shangin.pdf | 255,7 КБ | 2 января 2015 [popov_vladimir_logic] |