Секвенциальные системы модальных исчислений
Уусталу Т., Пентус М.
Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из рассматриваемых систем с помощью стандартного метода, предложенного Генценом. Ознакомление с работой полезно тем, кто начинает изучать дедуктивный аппарат модальной логики.
Kategorie:
Rok:
1989
Wydawnictwo:
Академия наук Эстонии
Język:
russian
Strony:
57
Plik:
DJVU, 1.46 MB
IPFS:
,
russian, 1989