|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Логическое следование и выделенные значениястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Зайцев Д.В., Шрамко Я.В.
- Журнал: Логические исследования
- Том: 11
- Год издания: 2004
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 127
- Последняя страница: 138
- Аннотация: We consider various connections between truth values and the entailment relation, and prove a theorem saying that in Belnap's four-valued logic the definition of entailment trough a lattice order introduces the same relation as the definition using {T, B} as the set of designated truth values.
- Добавил в систему: Зайцев Дмитрий Владимирович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li_11_Zaitsev_Shramko.pdf | 242,2 КБ | 6 июля 2013 [ZaitsevD] |