|
Алгебра и логика, 2002, том 41, номер 1, страницы 104–113
(Mi al174)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике
А. Д. Яшин
Аннотация:
Показывается, что алгебра предложений вполне интуиционистской прототетики, т.е. интуиционистской пропозициональной логики с кванторами, пополненной отрицанием закона исключенного третьего, является точной моделью интуиционистской логики высказываний.
Ключевые слова:
вполне интуиционистская прототетика, интуиционистская логика высказываний, интерпретация, теорема полноты.
Поступило: 05.07.2000
Образец цитирования:
А. Д. Яшин, “Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике”, Алгебра и логика, 41:1 (2002), 104–113; Algebra and Logic, 41:1 (2002), 59–64
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al174 https://www.mathnet.ru/rus/al/v41/i1/p104
|
Статистика просмотров: |
Страница аннотации: | 384 | PDF полного текста: | 160 | Список литературы: | 47 | Первая страница: | 1 |
|