Уусталу Т., Пентус М. Секвенциальные системы модальных исчислений

Таллинн : Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук, 1989. — 55 с.Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из рассматриваемых систем с помощью стандартного метода, предложенного Генценом. Ознакомление с работой полезно тем, кто начинает изучать дедуктивный аппарат модальной логики.Титульный лист
Аннотация
Введение
Аксиоматики модальных систем
Секвенциальные системы
Устранение сечения
Литература
Аннотации на эст. и англ. языке