ИСТИНА

В [Arruda, 1989] построено исчисление V1 гильбертовского типа, являющееся одной из возможных экспликаций логических идей Н.А. Васильева. В [Попов, 2010] построена строго убывающая по включению последовательность V1,1, V1,2, V1,3,…V1, паранепротиворечивых логик, в которой V1,1 равна логике, индуцированной исчислением V1 А. Арруда. В предлагаемой работе строится система натурального вывода NV1,α для логики V1,α, где α  {1, 2, 3,…}.