Items related to Теорема о&#x...
Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ее параполным напарником (Russian Edition) - Softcover
Synopsis
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
"synopsis" may belong to another edition of this title.
About the Author
Родилась в 1988 году в Черноголовке. В 2010 году окончила кафедрулогики философского факультета Московского ГосударственногоУниверситета им. М. В. Ломоносова. Занимается научнымиисследованиями под руководством кандидата философских наук ПоповаВладимира Михайловича.
"About this title" may belong to another edition of this title.
Buy New
View this item
US$ 58.46
US$ 26.64 shipping from Germany to U.S.A.
Destination, rates & speedsSearch results for Теорема о&#x...
Seller Image
Teorema ob ustranimosti secheniq dlq GPContPComp
Published by
LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783843322348
Quantity: 2 available
Seller Image
Teorema ob ustranimosti secheniq dlq GPContPComp : sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom
Published by
LAP LAMBERT Academic Publishing
ISBN 10: 3843322341
ISBN 13: 9783843322348
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . Seller Inventory # 9783843322348
Quantity: 1 available
Seller Image
Teorema ob ustranimosti secheniq dlq GPContPComp
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: ?????????? ??????????????? ? 1988 ???? ? ???????????? ? 2010 ???? ???????? ????????????? ???????????? ?????????? ??????????? ???????????????????????????? ?? ? ? ?????????? ?????????? ?????????????????????? ??? ???????????? ?????. Seller Inventory # 519471048
Quantity: Over 20 available
Seller Image
Teorema ob ustranimosti secheniq dlq GPContPComp
Published by
LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783843322348
Quantity: 2 available