Model completeness.
A sentence X in the lower predicate calculus L is said to be defined in a set K of sentences in L if all the extralogical symbols of X occur in K. K is said to be complete if every sentence X in L which is defined in K and which is consistent with K, is deducible from K. Semantically, the completene...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1961
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=113424 |