Articoli correlati a Теорема о&#x...
Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ... logiki Rozonoära s ee parapolnym naparnikom - Brossura
Sinossi
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
Родилась в 1988 году в Черноголовке. В 2010 году окончила кафедрулогики философского факультета Московского ГосударственногоУниверситета им. М. В. Ломоносова. Занимается научнымиисследованиями под руководством кандидата философских наук ПоповаВладимира Михайловича.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 41,05
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Теорема о&#x...
Immagini fornite dal venditore
Teorema ob ustranimosti secheniq dlq GPContPComp
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: ?????????? ??????????????? ? 1988 ???? ? ???????????? ? 2010 ???? ???????? ????????????? ???????????? ?????????? ??????????? ???????????????????????????? ?? ? ? ?????????? ?????????? ?????????????????????? ??? ???????????? ?????. Codice articolo 519471048
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Teorema ob ustranimosti secheniq dlq GPContPComp
Editore:
LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783843322348
Quantità: 2 disponibili
Immagini fornite dal venditore
Teorema ob ustranimosti secheniq dlq GPContPComp : sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom
Editore:
LAP LAMBERT Academic Publishing
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . Codice articolo 9783843322348
Quantità: 1 disponibili
Immagini fornite dal venditore
Teorema ob ustranimosti secheniq dlq GPContPComp
Editore:
LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783843322348
Quantità: 2 disponibili