|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Римацкий В. В. Явный базис допустимых правил вывода модальных логик, расширяющих $S4.1, Grz$ //
Том 50 (2009), Номер 4,
стр. 872882
Исследуются базисы для допустимых правил вывода широкого класса модальных логик. Построен явный базис для допустимых правил логик $S4.1,\ Grz$ и их расширений, число которых по крайней мере счетно. Полученный базис состоит из бесконечной последовательности правил, которые имеют компактную и простую форму. В случае конечности ширины логики базис для допустимых правил также состоит из конечной последовательности правил.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|