### Every functionally complete $m$-valued logic has a Post-complete axiomatization.

Nuel D. Belnap and Storrs McCall
Source: Notre Dame J. Formal Logic Volume 11, Number 1 (1970), 106.
First Page:
Primary Subjects: 02.25
Full-text: Open access