On proving functional incompleteness in symbolic logic classes

DOI10.1305/NDJFL/1093637874zbMATH Open0671.03003OpenAlexW2047489792MaRDI QIDQ1119618

W. David Sharp, Francis Jeffry Pelletier

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637874

zbMATH Keywords

incompletenessfunctional completenesssets of truth functions

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (2)

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols ⋮ Incomplete symbols -- definite descriptions revisited

This page was built for publication: On proving functional incompleteness in symbolic logic classes