Области научных интересов

Ключевые слова: Теория доказательств; многозначная логика; модальная логика / Proof theory; many-valued logic; modal logic

Ключевые слова

Теория логического вывода, многозначная логика, модальная логика

Proof theory, many-valued logic, modal logic