The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

Abstract

This paper describes the method by which the results of a paper by Martin were used to enable the set of all Sheffer functions in 3-valued logic to be determined by the Nottingham University Logical Computer, and how the computer demonstrated that Martin's condition of co-substitution is superfluous.