Новости
12.04.2024
Поздравляем с Днём космонавтики!
08.03.2024
Поздравляем с Международным Женским Днем!
23.02.2024
Поздравляем с Днем Защитника Отечества!
Оплата онлайн
При оплате онлайн будет
удержана комиссия 3,5-5,5%








Способ оплаты:

С банковской карты (3,5%)
Сбербанк онлайн (3,5%)
Со счета в Яндекс.Деньгах (5,5%)
Наличными через терминал (3,5%)

О НЕТАБЛИЧНОСТИ ДИЗЪЮНКТИВНО-НЕГАТИВНОГО ФРАГМЕНТА ЛЮБОЙ w- ПАРАПОЛНОЙ ЛОГИКИ ВАСИЛЬЕВСКОГО ТИПА

Авторы:
Город:
Москва
ВУЗ:
Дата:
02 декабря 2016г.

* Работа выполнена при поддержке РГНФ, грант № 16-03-00224а.

 

 

Работа выполнена в русле исследования проблемы табличности параполных логик. Главный результат предлагаемой статьи – доказательство нетабличности дизъюнктивно – негативного фрагмента любой w-параполной логики васильевского типа.