|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Non-transitive Correspondence Analysisстатья
- Авторы: Petrukhin Yaroslav, Shangin Vasily
- Журнал: Journal of Logic, Language and Information
- Том: 32
- Номер: 2
- Год издания: 2023
- Издательство: Springer Nature
- Местоположение издательства: Switzerland
- Первая страница: 247
- Последняя страница: 273
- DOI: 10.1007/s10849-022-09382-x
- Аннотация: The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed,in this paper the latter is adapted to Weir’s non-transitive trivalent logic NC3. As aresult, for each binary extension of NC3, we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron andhis co-authors’ general method of obtaining n-sequent proof systems for any n-valentlogic with deterministic or non-deterministic matrices is not applicable to NC3 and itsbinary extensions.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | s10849-022-09382-x.pdf | 494,3 КБ | 19 сентября 2022 [petrukhin] |