There are denumerably many ternary intuitionistic Sheffer functions (Q1118587): Difference between revisions

Thanks to A. V. Kuznetsov, we know that there is no binary Sheffer function for \(\{\) \(\rightharpoonup,\vee,\wedge,\neg \}\) in the intuitionistic propositional calculus. As follows from the result described in the title of the paper, the arity of a function is a key point of this problem.