The cut-elimination theorem is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively. The cut-elimination theorem (Hauptsatz) states that any judgement that possesses a proof in the sequent calculus that makes use of the cut rule also possesses a cut-free proof, that is, a proof that...
The cut-elimination theorem is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively. The cut-elimination theorem (Hauptsatz) states that any judgement that possesses a proof in the sequent calculus that makes use of the cut rule also possesses a cut-free proof, that is, a proof that does not make use of the cut rule. A sequent is a logical expression relating multiple sentences, in the form "", which is to be read as "A, B, C, proves N, O, P", and (as glossed by Gentzen) should be understood as equivalent to the truth-function "If (A and B and C ) then (N or O or P)."[citation needed] Note that the left-hand side (LHS) is a conjunction (and) and the RHS is a disjunction (or). The LHS may have arbitrarily many or few formulae; when the LHS is empty, the RHS is a tautology.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Мировая премьера! Впервые на русском — никогда ранее не издававшийся роман Габриэля Гарсии Маркеса, автора бестселлеров «Сто лет одиночества», «Осень патриарха» и «Полковнику никто не пишет». «Увидимся в августе» — одно из главных литературных событий года. Маркес работал над текстом перед самой смертью и не успел опубликовать при жизни, но спустя десять лет после кончины автора текст все-таки...
Новый роман финалиста премии «Большая книга» Алексея Колмогорова «Сахар» отправляет читателя к далеким берегам Острова Свободы. Куба — это не только профиль Фиделя, ретроавтомобили и гаванские сигары. Куба полна древних секретов и тайных культов. Под ее высоким небом и жарким солнцем разгораются нешуточные страсти, подогреваемые служителем мистического культа. И только поначалу кажется, будто...
Природа, как говорят, приглашает нас к столу с помощью аппетита и вознаграждает вкусом. Но что именно представляют собой вкусы? Почему одни из них нам приятны, а другие нет? «Происхождение вкусов» — в высшей степени увлекательное погружение в наваристую гущу этих вопросов. Щедро сдобрив повествование столовыми ложками искренности и остроумия, Роб Данн и Моника Санчес предлагают...
Издательство:
Альпина Паблишер
Дата выхода: ноябрь 2024
НАСТОЯЩИЙ МАТЕРИАЛ (ИНФОРМАЦИЯ) ПРОИЗВЕДЕН И РАСПРОСТРАНЕН ИНОСТРАННЫМ АГЕНТОМ ГРЕБЕНЩИКОВЫМ БОРИСОМ БОРИСОВИЧЕМ ЛИБО КАСАЕТСЯ ДЕЯТЕЛЬНОСТИ ИНОСТРАННОГО АГЕНТА ГРЕБЕНЩИКОВА БОРИСА БОРИСОВИЧА. Борис Гребенщиков — легенда русской рок-музыки, художник, переводчик, музыкант и поэт, основатель и лидер группы "Аквариум". Эта книга — сборник стихов, прозы и литературных "странностей" разных лет от Бориса...
Зарождение диссидентского движения, ранний самиздат, спор Сахарова и Солженицына, мытарства еврейских отказников и эскапады «бульдозерных» художников — биография ученого и правозащитника Александра Гольдфарба тесно связана с важнейшими событиями времен холодной войны. Его воспоминания читаются не только как ценное свидетельство о советской жизни, но и как остросюжетный роман: в центре...
Издательство:
Новое литературное обозрение
Дата выхода: май 2023
Как отсутствие плана, денег и технологий привели Alibaba к успеху? Что сделало малоизвестный китайский интернет-стартап с «диснеевским» названием мировым гигантом? Почему простая B2B-платформа электронной коммерции превратилась в глобальную экосистему? Ответ в философии. Эта книга раскрывает Дао компании — тот самый «секретный соус» из идеалов, ценностей и особого корпоративного духа. Автор —...
Оставить комментарий