Notre Dame Journal of Formal Logic

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

Nuel D. Belnap and Storrs McCall

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 11, Number 1 (1970), 106.

Dates
First available in Project Euclid: 30 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093893866

Zentralblatt MATH identifier
0187.26601

Mathematical Reviews number (MathSciNet)
MR0277363

Digital Object Identifier
doi:10.1305/ndjfl/1093893866

Subjects
Primary: 02.25

Citation

Belnap, Nuel D.; McCall, Storrs. Every functionally complete $m$-valued logic has a Post-complete axiomatization. Notre Dame Journal of Formal Logic 11 (1970), no. 1, 106. doi:10.1305/ndjfl/1093893866. http://projecteuclid.org/euclid.ndjfl/1093893866.


Export citation