Many-sorted first-order composition-nominative logic as institution (Q1650348)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Many-sorted first-order composition-nominative logic as institution |
scientific article |
Statements
Many-sorted first-order composition-nominative logic as institution (English)
0 references
3 July 2018
0 references
institution theory
0 references
many-sorted nominative data
0 references
irrefutability
0 references
