Cтраница 4
Следуя Небслингу, мьг пользуемся термином топологическая булева алгебра вместо алгебра с замыканием - термина, употребляемого многими авторами. Ввиду применений к интуиционистской логике операция взятия внутренности более важна в данной книге, чем операция взятия замыкания. По этой причине в качестве аксиоматики топологических пространств и топологических булевых алгебр нами принята аксиоматика, двойственная хорошо известной аксиоматике Куратовского. [46]
Следуя Небелингу, мы пользуемся термином топологическая булева алгебра вместо алгебра с замыканием - термина, употребляемого многими авторами. Ввиду применений к интуиционистской логике операция взятия анутренности более важна в данной книге, чем операция взятия замыкания. По этой причине в качестве аксиоматики топологических пространств и топологических булевых алгебр нами принята аксиоматика, двойственная хорошо известной аксиоматике Куратовского. [47]
Однако значительные успехи в изучении интуиционистской логики были достигнуты именно после того, как ее основные законы были точно сформулированы в виде исчислений, к к-рым можно было применять точные методы математич. [48]
Перед нами - образец исследования интуиционистской логики скромными средствами, математика этого исследования нейтральна, приемлема и с классической и с интуиционистской позиций. [49]