| Articolul precedent |
| Articolul urmator |
 |
 654 1 |
| Ultima descărcare din IBN: 2019-12-03 12:30 |
 SM ISO690:2012CHENTSOV, Alexey, NIKITCHENKO, Mykola. Institution for Pure First-Order Composition-Nominative Logic. In: Workshop on Foundations of Informatics, 24-29 august 2015, Chisinau. Chișinău, Republica Moldova: "VALINEX" SRL, 2015, I, pp. 50-63. ISBN 978-9975-4237-3-1. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Workshop on Foundations of Informatics I, 2015 |
||||||
|
Conferința "Workshop on Foundations of Informatics" Chisinau, Moldova, 24-29 august 2015 | ||||||
|
||||||
| Pag. 50-63 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
This paper aims to present composition-nominative logics as institutions. To be informative, pure first-order compositionnominative logic is chosen. Signature category and sentence functor are provided. Several ways to introduce homomorphisms between models of pure first-order composition-nominative logic are proposed. Restrictions on signature morphisms necessary to construct model functor are proposed. Satisfaction condition for obtained constructions is shown to hold. |
||||||
| Cuvinte-cheie Institutions, model, composition-nominative logics, irrefutability |
||||||
|
|
|
|
