Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Автор: Уусталу Т., Пентус М.
Название: Секвенциальные системы модальных исчислений
Издательство: Таллинн : Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук
Год: 1989
Страниц: 57
Формат: djvu
Размер: 1 mb
Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из рассматриваемых систем с помощью стандартного метода, предложенного Генценом. Ознакомление с работой полезно тем, кто начинает изучать дедуктивный аппарат модальной логики.
Введение
Аксиоматики модальных систем
Секвенциальные системы
Устранение сечения
Литература
Аннотации на эст. и англ. языке
|
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Дата создания страницы: