On proving functional incompleteness in symbolic logic classes
type: Item
instance of: scholarly article
title: On proving functional incompleteness in symbolic logic classes
zbMATH Open document ID: 0671.03003
author: Francis Jeffry Pelletier
author: W. David Sharp
published in: Notre Dame Journal of Formal Logic
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 4097334
zbMATH Keywords: functional completeness
zbMATH Keywords: sets of truth functions
zbMATH Keywords: incompleteness
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093637874
OpenAlex ID: W2047489792
DOI: 10.1305/NDJFL/1093637874
description: scientific article; zbMATH DE number 4097334