Натуральные исчисления для некоторых фрагментов сильной логики Клинидоклад на конференции