ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Изучаются модальные логики с оператором «разрешимо A», означающим «необходимо A или необходимо не-A». Строятся аксиоматические системы гильбертовского типа и секвенциальные исчисления для популярных логик в языке с этим оператором, доказывается их корректность и полнота. Изучается устранимость или аналитичность сечения в этих исчислениях. Исследуются выразительные возможности языка с оператором разрешимость, выявляются классы шкал, задаваемые различными формулами в данном языке.