Nataliq Znamenskaq

Teorema ob ustranimosti secheniq dlq GPContPComp

sekwencial'nogo ischisleniq, axiomatiziruüschego peresechenie paraneprotiworechiwoj logiki Rozonoära s ee parapolnym naparnikom

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 120
• Erscheinungstermin: 31. März 2011
• Russisch
• Abmessung: 220mm x 150mm x 8mm
• Gewicht: 197g
• ISBN-13: 9783843322348
• ISBN-10: 3843322341
• Artikelnr.: 62760738

Autorenporträt

Rodilas' w 1988 godu w Chernogolowke. V 2010 godu okonchila kafedrulogiki filosofskogo fakul'teta Moskowskogo GosudarstwennogoUniwersiteta im. M. V. Lomonosowa. Zanimaetsq nauchnymiissledowaniqmi pod rukowodstwom kandidata filosofskih nauk PopowaVladimira Mihajlowicha.