Секвенциональные формулировки паранепротиворечивых логических систем

// Семантические и синтаксические исследования неэкстенсиональных логик. — М.: Наука, 1989. Академия наук СССР, Институт философии.В статье предлагается секвенциальное исчисление для паранепротиворечивой логики PCont и впервые формулируется паранепротиворечивая логика Par в виде секвенциального и гильбертовского исчислений.