Теорема об устранимости сечения для GPContPComp

Теорема об устранимости сечения для GPContPComp

скачать

Обзор книги Теорема об устранимости сечения для GPContPComp. М. Всего нетривиальных расширений логики Par четыре – паранормальная логика PContPComp, паранепротиворечивая логика PCont, параполная логика PComp и классическая логика Cl. Она является расширением наиболее известной паранормальной логики Par, которую в свое время открыло несколько человек (Брэди, Попов, Аврон). Установлено, что логика PContPComp является пересечением паранепротиворечивой логики PCont Батенса- Розоноэра с параполным напарником последней. Представляется, что логика PContPComp - наименее изученная логика из указанного интервала. В работе дано подробное доказательство теоремы об устранимости сечения для предложенного В. Рассматриваемая логика PContPComp принадлежит логическому интервалу между логикой Par и множеством всех формул. Поповым секвенциального исчисления, аксиоматизирующего эту логику PContPComp. Устранимость сечения в данном исчислении значительно облегчает процедуру поиска доказательства, а также позволяет дать синтаксическую разрешающую процедуру. Впервые изучается дедуктивная система секвенциального исчисления, аксиоматизирующего данную логику.

По этой теме смотрели

Н. В. Гоголь Миргород (подарочное издание)

Прекрасно оформленное подарочное издание с ляссе. Бархатный переплет оформлен тиснением под золото. Обложка книги украшена фрагментом иллюстрации из книги. Трехсторонний золотой обрез. В данном...

Русский язык (Текст): 3 класс: учебник в 3-х частях: Часть 3

Степанова А. (пер.) Полный курс рисования

Курс китайского языка Boya Chinese. Ступень 1. Лексикограмматический справочник

Учебный комплект Воуа Chinese. Начальный уровень. Ступень I состоит из трех книг - учебника, рабочей тетради и...

В. Г. Лазаренко Медаль Ветеран труда. Разновидности медалей и удостоверений

В каталоге-справочнике впервые в отечественной исторической науке с позиций фалеристики на основе архивных материалов, значительная часть которых впервые...

2 Thoughts to “Теорема об устранимости сечения для GPContPComp

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *