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

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

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

 

 

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