On evaluations of propositional formulas in countable structures (Q5279264)
From MaRDI portal
scientific article; zbMATH DE number 6749656
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On evaluations of propositional formulas in countable structures |
scientific article; zbMATH DE number 6749656 |
Statements
On evaluations of propositional formulas in countable structures (English)
0 references
19 July 2017
0 references
axiomatization
0 references
strong completeness
0 references
weighted formulas
0 references
