Cтраница 3
Из 10.5 и 10.6 следует, что исследование классических и интуиционистских теорий всегда можно свести к исследованию некоторых частей соответствующих модальных теорий. [31]
Из 8.5 и 8.6 следует, что исследование классических и интуиционистских теорий всегда можно свести к исследованию некоторых частей соответствующих модальных теорий. [32]
Из 10.5 и 10.6 следует, что исследование классических и интуиционистских теорий всегда можно свести к исследованию некоторых частей соответствующих модальных теорий. [33]
Из 8.5 и 8.6 следует, что исследование классических и интуиционистских теорий всегда можно свести к исследованию некоторых частей соответствующих модальных теорий. [34]
Доказательство подобно доказательству аналогичной теоремы X, 3.6 для интуиционистских теорий. [35]
Доказательство подобно доказательству аналогичного утверждения X, 3.7 для интуиционистских теорий. [36]
Доказательство подобно доказательству аналогичной теоремы X, 3.6 для интуиционистских теорий. [37]
Доказательство подобно доказательству аналогичного утверждения X, 3.7 для интуиционистских теорий. [38]
В настоящей статье определяются некоторые алгебраические структуры, задающие модели интуиционистских теорий, и приводятся примеры их использования в теории доказательств. [39]
Если характеристическая оценка V для 3 - является моделью для непротиворечивой интуиционистской теории -, то Г проста. [40]
Клини [ 1950а ] намечает применение рекурсивных функций в интерпретации интуиционистской теории множеств. [41]
Если характеристическая оценка v для 3 - является моделью для непротиворечивой интуиционистской теории 3 -, то ST проста. [42]
Таким образом, ВК-модели могут быть с успехом применены при анализе интуиционистских теорий. [43]
Таким образом, ВК-структуры могут быть с успехом применены при анализе интуиционистских теорий. [44]
В псевдобулевых алгебрах понятия простых и максимальных фильтров не совпадают, поэтому существуют простые интуиционистские теории, не являющиеся максимальными, Просте йший пример дается интуиционистским пропозициональным исчислением 5 0l, рассматриваемым как формализованная теория 2 0, & t, 0 с пустым множеством аксиом. [45]