Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
680 4 |
Ultima descărcare din IBN: 2023-10-14 15:40 |
Căutarea după subiecte similare conform CZU |
510.6 (18) |
Математическая логика (18) |
SM ISO690:2012 CHENTSOV, Alexey. Many-Sorted First-Order Composition-Nominative Logic as Institution. In: Computer Science Journal of Moldova, 2016, nr. 1(70), pp. 27-54. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 1(70) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 510.6 | ||||||
Pag. 27-54 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
In the paper the institution for many-sorted first-order compositionnominative logic (CNL) is considered. The difference from the author’s previous paper on this topic is richer logical system in question due to addition of operations and sorts, and also a slightly weakened constraint on signature morphisms regarding the set of names. The satisfaction condition is proven. Some directions for further research are outlined.. |
||||||
Cuvinte-cheie Institution theory, many-sorted nominative data, irrefutability. |
||||||
|