On proving functional incompleteness in symbolic logic classes (Q1119618)
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: On proving functional incompleteness in symbolic logic classes |
scientific article; zbMATH DE number 4097334
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On proving functional incompleteness in symbolic logic classes |
scientific article; zbMATH DE number 4097334 |
Statements
On proving functional incompleteness in symbolic logic classes (English)
0 references
1988
0 references
The authors discuss the notion of functional completeness and proofs of completeness or incompleteness of various sets of truth functions. They give an alternative way to solve the problem of incompleteness of \(\leftrightarrow\) and indicate the underlying features of truth functions that will yield a functionally complete set.
0 references
functional completeness
0 references
sets of truth functions
0 references
incompleteness
0 references
