Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
949 7 |
Ultima descărcare din IBN: 2023-09-10 08:21 |
SM ISO690:2012 RUSU, Andrei. Infinitely many maximal primitive positive clones in a diagonalizable algebra. In: Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2013, nr. 2-3(73), pp. 47-52. ISSN 1024-7696. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica | ||||||
Numărul 2-3(73) / 2013 / ISSN 1024-7696 /ISSNe 2587-4322 | ||||||
|
||||||
Pag. 47-52 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
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. |
||||||
Cuvinte-cheie Primitive positive clones, Provability logic, Diagonalizable algebra |
||||||
|