On proving functional incompleteness in symbolic logic classes
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.
scientific article; zbMATH DE number 4097334