|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
NATURAL DEDUCTION IN A PARACOMPLETE SETTINGстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
- Авторы: Болотов A.E., Шангин В.О.
- Журнал: Логические исследования
- Номер: 20
- Год издания: 2014
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 224
- Последняя страница: 247
- Аннотация: In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework. As a consequence, for example, formulae of the type p ∨ ¬p, are not valid. In this paper we formulate the natural deduction system for paracomplete logic PComp, explain its main concepts, define proof searching techniques and the searching algorithm providing examples proofs.
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | LI20_BolotovShangin.pdf | 217,6 КБ | 19 ноября 2018 [shangin] |