A multigrade operator  is a parametric operator with parameter  in the set Failed to parse (Missing texvc executable; please see math/README to configure.):

of non-negative integers.

The application of a multigrade operator  to a finite sequence of operands  is typically denoted with the parameter  left tacit, as the appropriate application is implicit in the number of operands listed. Thus Failed to parse (Missing texvc executable; please see math/README to configure.):

may be taken for Failed to parse (Missing texvc executable; please see math/README to configure.):

Syllabus

Related topics

 Logical graph Minimal negation operator Multigrade operator Parametric operator Peirce's law

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.