A simple proof of functional completeness in many-valued logics based on Lukasiewicz's \(C\) and \(N\)

DOI10.1305/NDJFL/1093957156zbMath0118.01301OpenAlexW2069172270MaRDI QIDQ2626080

Robert E. Clay

Publication date: 1962

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957156

zbMATH Keywords

mathematical logic

This page was built for publication: A simple proof of functional completeness in many-valued logics based on Lukasiewicz's \(C\) and \(N\)