|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Natural Deduction for Post’s Logics and their Dualsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 августа 2018 г.
- Автор: Petrukhin Yaroslav
- Журнал: Logica Universalis
- Том: 12
- Номер: 1-2
- Год издания: 2018
- Издательство: Springer Verlag
- Местоположение издательства: Germany
- Первая страница: 83
- Последняя страница: 100
- DOI: 10.1007/s11787-018-0190-y
- Аннотация: In this paper, we introduce the notion of dual Post’s negation and an infinite class of Dual Post’s finitely-valued logics which differ from Post’s ones with respect to the definitions of negation and the sets of designated truth values. We present adequate natural deduction systems for all Post’s k-valued (k⩾3) logics as well as for all Dual Post’s k-valued logics.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Первая страница | Preview (the full text is avaliable at http://rdcu.be/KbVo) | Natural_Deduction_for_Posts_Logics_and_their_Duals_preview.… | 367,8 КБ | 17 мая 2018 [petrukhin] |