Representing model theory in a type-theoretical logical framework (Q654913)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Representing model theory in a type-theoretical logical framework |
scientific article; zbMATH DE number 5991567
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Representing model theory in a type-theoretical logical framework |
scientific article; zbMATH DE number 5991567 |
Statements
Representing model theory in a type-theoretical logical framework (English)
0 references
23 December 2011
0 references
logical framework
0 references
model-theoretic semantics
0 references
proof-theoretic semantics
0 references
first-order logic
0 references
Twelf module system
0 references
0 references
0.99999976
0 references
0.92330515
0 references
0.9154598
0 references
0.90950346
0 references
0.90780795
0 references
0.9071889
0 references
