{"product_id":"teorema-ob-ustranimosti-secheniq-dlq-gpcontpcomp-von-nataliq-znamenskaq","title":"Teorema ob ustranimosti secheniq dlq GPContPComp","description":"\u003cp\u003eRassmatriwaemaq 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783843322348\"\u003e\u003ch3\u003esekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s  ee parapolnym naparnikom\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783843322348","offer_id":39485461037149,"sku":"9783843322348","price":49.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5d455f92-840e-4369-8f6c-6d20c3aab20e.jpg?v=1773383125","url":"https:\/\/shop.autorenwelt.de\/products\/teorema-ob-ustranimosti-secheniq-dlq-gpcontpcomp-von-nataliq-znamenskaq","provider":"Autorenwelt Shop","version":"1.0","type":"link"}