Articles liés à Теорема о&#x...
Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ее параполным напарником - Couverture souple
Synopsis
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Rassmatrivaemaya logika PContPComp prinadlezhit logicheskomu intervalu mezhdu logikoy Par i mnozhestvom vsekh formul. Ustanovleno, chto logika PContPComp yavlyaetsya peresecheniem paraneprotivorechivoy logiki PCont Batensa- Rozonoera s parapolnym naparnikom posledney. Predstavlyaetsya, chto logika PContPComp - naimenee izuchennaya logika iz ukazannogo intervala. Ona yavlyaetsya rasshireniem naibolee izvestnoy paranormal'noy logiki Par, kotoruyu v svoe vremya otkrylo neskol'ko chelovek (Bredi, Popov, Avron). Vsego netrivial'nykh rasshireniy logiki Par chetyre – paranormal'naya logika PContPComp, paraneprotivorechivaya logika PCont, parapolnaya logika PComp i klassicheskaya logika Cl. V rabote dano podrobnoe dokazatel'stvo teoremy ob ustranimosti secheniya dlya predlozhennogo V. M. Popovym sekventsial'nogo ischisleniya, aksiomatiziruyushchego etu logiku PContPComp. Vpervye izuchaetsya deduktivnaya sistema sekventsial'nogo ischisleniya, aksiomatiziruyushchego dannuyu logiku. Ustranimost' secheniya v dannom ischislenii znachitel'no oblegchaet protseduru poiska dokazatel'stva, a takzhe pozvolyaet dat' sintaksicheskuyu razreshayushchuyu protseduru.
Présentation de l'éditeur
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 41,05
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Теорема о&#x...
Image fournie par le vendeur
Teorema ob ustranimosti secheniq dlq GPContPComp
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: ?????????? ??????????????? ? 1988 ???? ? ???????????? ? 2010 ???? ???????? ????????????? ???????????? ?????????? ??????????? ???????????????????????????? ?? ? ? ?????????? ?????????? ?????????????????????? ??? ???????????? ?????. N° de réf. du vendeur 519471048
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Teorema ob ustranimosti secheniq dlq GPContPComp : sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom
Edité par
LAP LAMBERT Academic Publishing
ISBN 10 : 3843322341
ISBN 13 : 9783843322348
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . N° de réf. du vendeur 9783843322348
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Teorema ob ustranimosti secheniq dlq GPContPComp
Edité par
LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10 : 3843322341
ISBN 13 : 9783843322348
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . 120 pp. Russisch. N° de réf. du vendeur 9783843322348
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Teorema ob ustranimosti secheniq dlq GPContPComp
Edité par
LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10 : 3843322341
ISBN 13 : 9783843322348
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 120 pp. Russisch. N° de réf. du vendeur 9783843322348
Quantité disponible : 2 disponible(s)