First order theories for partial models (Q813079)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First order theories for partial models |
scientific article |
Statements
First order theories for partial models (English)
0 references
30 January 2006
0 references
partial algebra
0 references
partial model
0 references
extension
0 references
possible sets of sentences
0 references
infallible sets of sentences
0 references
standard models
0 references
Scott domain
0 references
default logic
0 references
