Книга: Наталия Знаменская «Теорема об устранимости сечения для GPContPComp»
|
Производитель: "LAP Lambert Academic Publishing" Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Всего нетривиальных расширений логики Par четыре паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. В работе дано подробноедоказательство теоремы об устранимости сечения для предложенного В. М. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику. Устранимость сечения в данном... ISBN:9783843322348 Издательство: "LAP Lambert Academic Publishing" (2011)
ISBN: 9783843322348 |
См. также в других словарях:
Иркутск — Город Иркутск … Википедия
Айболит и Бармалей (мультфильм) — Айболит и Бармалей Айболит и Бармалей … Википедия
Санкт-Петербург столица России* — (Петербург, Петроград, Питер [В настоящей статье вместо слов С. Петербург допущены сокращения: СПб. и Пб.] столица России и резиденция Российского Императорского Дома. Судьбы местности нынешнего СПб. до 1703 г. В 1300 г. шведы поставили город над … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Санкт-Петербург, город — I (Петербург, Петроград, Питер [В настоящей статье вместо слов С. Петербург допущены сокращения: СПб. и Пб.] столица России и резиденция Российского Императорского Дома. Судьбы местности нынешнего СПб. до 1703 г. В 1300 г. шведы поставили город… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Хронология Вильнюса — Хронология Вильнюса основные события истории Вильнюса, события истории Литвы и соседних стран, а также эпизоды биографий выдающихся деятелей культуры, имевшие место в Вильнюсе, в хронологическом порядке. Содержание 1 XIV век 2 XV век 3 XVI… … Википедия
Киров (Кировская область) — У этого термина существуют и другие значения, см. Киров. Запрос «Вятка» перенаправляется сюда; см. также другие значения. Город Киров Флаг Герб … Википедия
