|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценкамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Автор: Шангин В.О.
- Журнал: Логические исследования
- Том: 17
- Год издания: 2011
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 293
- Последняя страница: 308
- Аннотация: In the paper we present Fitch-style natural deduction systems of some logics with truth-value gluts and truth-value gaps. We show that natural deduction systems of the logics in question can be set up with different formualtions of either the disjunction elimination rule or the negation introduction rule. We give a constructive proof that for each natural deduction system N of a logic alpha, a formula A is N-provable iff A is a alpha-theorem.
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Li_17_Shangin.pdf | 258,0 КБ | 6 июля 2013 [shangin] |