Verwandte Artikel zu Теорема о&#x...
Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ... logiki Rozonoära s ee parapolnym naparnikom - Softcover
Inhaltsangabe
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Biografía del autor
Родилась в 1988 году в Черноголовке. В 2010 году окончила кафедрулогики философского факультета Московского ГосударственногоУниверситета им. М. В. Ломоносова. Занимается научнымиисследованиями под руководством кандидата философских наук ПоповаВладимира Михайловича.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 41,05
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Теорема о&#x...
Foto des Verkäufers
Teorema ob ustranimosti secheniq dlq GPContPComp
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: ?????????? ??????????????? ? 1988 ???? ? ???????????? ? 2010 ???? ???????? ????????????? ???????????? ?????????? ??????????? ???????????????????????????? ?? ? ? ?????????? ?????????? ?????????????????????? ??? ???????????? ?????. Bestandsnummer des Verkäufers 519471048
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Teorema ob ustranimosti secheniq dlq GPContPComp
Verlag:
LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783843322348
Anzahl: 2 verfügbar
Foto des Verkäufers
Teorema ob ustranimosti secheniq dlq GPContPComp : sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . Bestandsnummer des Verkäufers 9783843322348
Anzahl: 1 verfügbar
Foto des Verkäufers
Teorema ob ustranimosti secheniq dlq GPContPComp
Verlag:
LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783843322348
Anzahl: 2 verfügbar