Constructing sequent rules for generalized propositional logics
The author sets up Gentzen calculi for n-ary boolean connectives (translating the truth tables directly into upper formulae).
Gentzen calculi for n-ary boolean connectives
scientific article; zbMATH DE number 3877176