Секвенциальные системы модальных исчислений
Уусталу Т., Пентус М.
Описываются свободные от сечения секвенциальные системы для наиболее употребительных модальных исчислений. Доказывается их дедуктивная эквивалентность соответствующим системам гильбертовского типа. Теорема об устранимости сечения доказывается для каждой из рассматриваемых систем с помощью стандартного метода, предложенного Генценом. Ознакомление с работой полезно тем, кто начинает изучать дедуктивный аппарат модальной логики.
Thể loại:
Năm:
1989
Nhà xuát bản:
Академия наук Эстонии
Ngôn ngữ:
russian
Trang:
57
File:
DJVU, 1.46 MB
IPFS:
,
russian, 1989