?
Аксиоматические исчисления для интуиционистских аналогов логик контрфактических кондиционалов
В статье осуществляется аксиоматизация собственных расширений базовой интуиционистской кондициональной логики IntCK, впервые сформулированной Г.К. Ольховиковым [6]: определяются интуиционистские варианты логик контрфактуалов Д. Льюиса [5], кондициональных логик Дж. Берджесса [1], Дж. Поллока [7], а также ряд более слабых расширений посредством аксиомных схем кондициональной рефлексивности и контрфактического варианта правила modus ponens. Указанные расширения являются сильно полными относительно подходящей биреляционной семантики в стиле К. Сегерберга [8]. Особенность полученных исчислений в сравнении с системами, определенными И. Чиарделли и С. Лью [2], состоит в фиксации явных дедуктивных принципов поведения слабого контрфактуального оператора ◇→, не определяемого в терминах сильного оператора □→ и интуиционистского отрицания.