|
Алгебра и логика, 1984, том 23, номер 1, страницы 74–87
(Mi al1847)
|
|
|
|
О числе предлокально-табличных суперинтуиционистских пропозициональных логик
С. И. Мардаев
Аннотация:
Суперинтуиционистская логика называется локально-табличной, если соответствующее многообразие псевдобулевых алгебр локально-конечно. Логики, максимальные в классе не локально-табличных, называются предлокально-табличными. В работе строится континуум предлокально-табличных суперинтуиционистских логик.
Поступило: 16.11.1983
Образец цитирования:
С. И. Мардаев, “О числе предлокально-табличных суперинтуиционистских пропозициональных логик”, Алгебра и логика, 23:1 (1984), 74–87
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1847 https://www.mathnet.ru/rus/al/v23/i1/p74
|
Статистика просмотров: |
Страница аннотации: | 66 | PDF полного текста: | 33 |
|