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

Город конференции:
  • Москва
Авторы

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

 

 

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