Teorema ob ustranimosti secheniq dlq GPContPComp

Rassmatriwaemaq logika PContPComp prinadlezhit logicheskomu interwalu mezhdu logikoj Par i mnozhestwom wseh formul. Ustanowleno, chto logika PContPComp qwlqetsq peresecheniem paraneprotiworechiwoj logiki PCont Batensa- Rozonoära s parapolnym naparnikom poslednej. Predstawlqetsq, chto logika PContPComp - naimenee izuchennaq logika iz ukazannogo interwala. Ona qwlqetsq rasshireniem naibolee izwestnoj paranormal'noj logiki Par, kotoruü w swoe wremq otkrylo neskol'ko chelowek (Brädi, Popow, Awron). Vsego netriwial'nyh rasshirenij logiki Par chetyre ¿ paranormal'naq logika PContPComp, paraneprotiworechiwaq logika PCont, parapolnaq logika PComp i klassicheskaq logika Cl. V rabote dano podrobnoe dokazatel'stwo teoremy ob ustranimosti secheniq dlq predlozhennogo V. M. Popowym sekwencial'nogo ischisleniq, axiomatiziruüschego ätu logiku PContPComp. Vperwye izuchaetsq deduktiwnaq sistema sekwencial'nogo ischisleniq, axiomatiziruüschego dannuü logiku. Ustranimost' secheniq w dannom ischislenii znachitel'no oblegchaet proceduru poiska dokazatel'stwa, a takzhe pozwolqet dat' sintaxicheskuü razreshaüschuü proceduru.