|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Natural three-valued logics characterised by natural deductionстатья
Статья опубликована в высокорейтинговом журнале
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 16 января 2019 г.
- Авторы: Petrukhin Yaroslav, Shangin Vasilyi
- Журнал: Logique et Analyse
- Том: 61
- Номер: 244
- Год издания: 2018
- Издательство: Centre National Belge de Recherche de Logique
- Местоположение издательства: Belgium
- Первая страница: 407
- Последняя страница: 427
- DOI: 10.2143/LEA.244.0.3285348
- Аннотация: In this paper, we combine the concept of natural deduction and the concept of three-valued natural logic. In particular, we use a semantic definition of the concept of natural logic presented by N. Tomova. By using the correspondence analysis given by B. Kooi and A. Tamminga, we present a syntactical counterpart of the semantic definition in question, i.e. in this paper, three-valued natural logics are characterised by natural deduction systems.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | ND_NL_30.06.pdf | 359,5 КБ | 20 декабря 2018 [petrukhin] |