A formal system S is Negation Complete (AKA syntactically complete or deductively complete or maximally complete) if for each sentence (closed formula) φ of the language of the system either φ or ¬φ is a theorem of S.
|
metadata block |
|
| see also: | |
| Correspondence about this page | |
|
Book Shop - Further reading. Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them. |
|
|
Commercial Software Shop Where I can, I have put links to Amazon for commercial software, not directly related to the software project, but related to the subject being discussed, click on the appropriate country flag to get more details of the software or to buy it from them. |
|
This site may have errors. Don't use for critical systems.
Copyright (c) 1998-2022 Martin John Baker - All rights reserved - privacy policy.
