Artículos relacionados a Теорема о&#x...
Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ... logiki Rozonoära s ee parapolnym naparnikom - Tapa blanda
Sinopsis
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру.
Biografía del autor
Родилась в 1988 году в Черноголовке. В 2010 году окончила кафедрулогики философского факультета Московского ГосударственногоУниверситета им. М. В. Ломоносова. Занимается научнымиисследованиями под руководством кандидата философских наук ПоповаВладимира Михайловича.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 49,00
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Теорема о&#x...
Imagen del vendedor
Teorema ob ustranimosti secheniq dlq GPContPComp
Publicado por
LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783843322348
Cantidad disponible: 2 disponibles
Imagen del vendedor
Teorema ob ustranimosti secheniq dlq GPContPComp
Publicado por
LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuevo
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: ?????????? ??????????????? ? 1988 ???? ? ???????????? ? 2010 ???? ???????? ????????????? ???????????? ?????????? ??????????? ???????????????????????????? ?? ? ? ?????????? ?????????? ?????????????????????? ??? ???????????? ?????. Nº de ref. del artículo: 519471048
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Teorema ob ustranimosti secheniq dlq GPContPComp : sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom
Publicado por
LAP LAMBERT Academic Publishing
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - PContPComp Par . , PContPComp PCont - . , PContPComp - . Par, ( , , ). Par PContPComp, PCont, PComp Cl. . . , PContPComp. , . , . Nº de ref. del artículo: 9783843322348
Cantidad disponible: 1 disponibles
Imagen del vendedor
Teorema ob ustranimosti secheniq dlq GPContPComp
Publicado por
LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10: 3843322341
ISBN 13: 9783843322348
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783843322348
Cantidad disponible: 2 disponibles