Post's functional completeness theorem
From MaRDI portal
Publication:1173782
DOI10.1305/ndjfl/1093635508zbMath0745.03007OpenAlexW2004924271MaRDI QIDQ1173782
Francis Jeffry Pelletier, Norman M. Martin
Publication date: 25 June 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635508
Related Items
Aggregation of Votes with Multiple Positions on Each Issue ⋮ Characterization of zigzag De Morgan functions ⋮ Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes ⋮ Representing voting rules in Łukasiewicz’s three-valued logic ⋮ Definability of Boolean functions in Kripke semantics ⋮ Schönfinkel-type operators for classical logic ⋮ A functional completeness theorem for De Morgan functions.