RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1984, том 23, номер 1, страницы 74–87 (Mi al1847)

О числе предлокально-табличных суперинтуиционистских пропозициональных логик

С. И. Мардаев


Аннотация: Суперинтуиционистская логика называется локально-табличной, если соответствующее многообразие псевдобулевых алгебр локально-конечно. Логики, максимальные в классе не локально-табличных, называются предлокально-табличными. В работе строится континуум предлокально-табличных суперинтуиционистских логик.

УДК: 517.11:512.25

Поступило: 16.11.1983



Реферативные базы данных:


© МИАН, 2024