Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
551 1 |
Ultima descărcare din IBN: 2023-09-11 11:56 |
SM ISO690:2012 CEBOTARI, Vadim. Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting. In: Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2006, nr. 3(52), pp. 45-50. ISSN 1024-7696. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica | ||||||
Numărul 3(52) / 2006 / ISSN 1024-7696 /ISSNe 2587-4322 | ||||||
|
||||||
Pag. 45-50 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
The problem of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas. |
||||||
Cuvinte-cheie Intuitionistic logic, parametrical expressibility, parametrical completeness, pre-complete system. |
||||||
|