|
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2013, номер 2-3, страницы 47–52
(Mi basm339)
|
|
|
|
Infinitely many maximal primitive positive clones in a diagonalizable algebra
Andrei Rusuab a Ovidius University of Constanţa, bd. Mamaia 124, Constanţa, România
b Information Society Development Institute, str. Academiei 5a, Chişinău, Moldova
Аннотация:
We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic $GL$.
Ключевые слова и фразы:
primitive positive clones, provability logic, diagonalizable algebra.
Поступила в редакцию: 18.02.2013
Образец цитирования:
Andrei Rusu, “Infinitely many maximal primitive positive clones in a diagonalizable algebra”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, no. 2-3, 47–52
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/basm339 https://www.mathnet.ru/rus/basm/y2013/i2/p47
|
Статистика просмотров: |
Страница аннотации: | 614 | PDF полного текста: | 41 | Список литературы: | 32 |
|