Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
864 6 |
Ultima descărcare din IBN: 2023-09-11 11:56 |
SM ISO690:2012 CEBOTARI, Vadim. A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5. In: Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2010, nr. 2(63), pp. 59-66. ISSN 1024-7696. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica | ||||||
Numărul 2(63) / 2010 / ISSN 1024-7696 /ISSNe 2587-4322 | ||||||
|
||||||
Pag. 59-66 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
The problem of parametrical completeness in the logic of 8-element topological Boolean algebra with trivial open elements is considered. The conditions permitting to determine the parametrical completeness of an arbitrary system of formulas in the mentioned logic are established in terms of 25 parametrical pre-complete classes of formulas. |
||||||
Cuvinte-cheie Modal formula, parametrical expressibility, parametrical completeness, precomplete system, modal logic |
||||||
|