Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов интуиционистской логикитезисы доклада