|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logicsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 21 сентября 2017 г.
- Автор: Petrukhin Yaroslav I.
- Журнал: Logica Universalis
- Том: 11
- Номер: 4
- Год издания: 2017
- Издательство: Springer Verlag
- Местоположение издательства: Germany
- Первая страница: 525
- Последняя страница: 532
- DOI: 10.1007/s11787-017-0169-0
- Аннотация: In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Первая страница | Preview | s11787-017-0169-0_preview_o.first.pdf | 368,0 КБ | 17 июля 2017 [petrukhin] |