Logical consequence and first-order soundness and completeness: a bottom up approach (Q628805)
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: Logical consequence and first-order soundness and completeness: a bottom up approach |
scientific article; zbMATH DE number 5862017
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logical consequence and first-order soundness and completeness: a bottom up approach |
scientific article; zbMATH DE number 5862017 |
Statements
Logical consequence and first-order soundness and completeness: a bottom up approach (English)
0 references
7 March 2011
0 references
first-order logic
0 references
soundness
0 references
completeness
0 references
measurement theory
0 references
0.7234869599342346
0 references
0.6992227435112
0 references
0.6952179670333862
0 references
0.6940299272537231
0 references
