Паранепротиворечивые секвенциальные исчисления.

Abstract

Предлагаемые построения секвенциальных исчислений основаны на идее применения в процессе дедукции правил манипулирования не только с отдельными логическими константами, но и с комплексами таких констант. Использование этой идеи, конечно, не является прерогативой исследований паранепротиворечивых логик. Но в этой области ее использование позволяет дать удобные для поиска доказательств формулировки многих паранепротиворечивых логик. Каждое из рассматриваемых в этой работе паранепротиворечивых секвенциальных исчислений получается в результате соответствующей трансформации исходного исчисления GCL - одной из секвенциальных формулировок классической пропозициональной логики.